関数型プログラミング言語Haskell

1 名前：潜伏していた1 mailto:sage [02/02/16 16:55] 何とか生き残れました。 前スレ pc.2ch.net/test/read.cgi/tech/996131288/l50 関連 >>2 以降 198 名前：え？ [02/05/15 00:35] デバッガをバグ取りに使わないの？ 199 名前：デフォルトの名無しさん mailto:sage [02/05/15 01:06] >>198 プログラミング言語の前に日本語を勉強尻。 200 名前：え？ mailto:sage [02/05/15 01:16] >>199 君こそ根。 201 名前：デフォルトの名無しさん [02/05/15 01:24] Stream IOを勉強した頃は、同期関係の bugがあったら取り難そうだなあ、 とおもた。 Monadになったら改善できるのかしらん? 202 名前：デフォルトの名無しさん mailto:sage [02/05/15 01:28] >>198 はすさまじいアフォ 203 名前：デフォルトの名無しさん mailto:sage [02/05/15 01:28] >>201 並列処理の話？ 204 名前：え？ mailto:sage [02/05/15 01:29] >>199　は、すさまじいエロ 205 名前：デフォルトの名無しさん mailto:sage [02/05/15 01:38] ＞デバッガの使い道ってバグを取るためだけの物かなー？ 他に使い道は？ 206 名前：デフォルトの名無しさん mailto:sage [02/05/15 02:30] >>204 ウザイ 「バグ取りの他に使う」と「バグ取りに使わない」の 区別もつかない糞は小１からやりなおせヴォケ 207 名前：デフォルトの名無しさん [02/05/15 12:22] >>206 その前にお前は>>205の質問に答えろよ。 208 名前：デフォルトの名無しさん [02/05/15 13:45] 静的なプログラム検証ツールはデバッガの範疇に入るの？ こういうものが作りやすいのが関数型言語の特徴って言われてるから そっちに期待しちゃうな。あくまで素人の考えだけど。 209 名前：Ｃ厨房 mailto:sage [02/05/15 14:01] lintはデバッガって言うか？ 210 名前：デフォルトの名無しさん mailto:sage [02/05/15 14:24] なんでHaskellスレは厨房がワラワラと寄ってくるんだろ。 無視できない何かがあるんですかねー。 211 名前：206ではないが [02/05/15 14:28] 関数型言語にあてはまるかどうかは知らんが、 他人が書いたプログラム(またはライブラリ)を理解するために デバッガを使って動作を見るのは、けっこうよく使う手だと思う。 >>208 普通は静的な検証ツールはデバッガには含めないと思うけど、 参照透明性の高い関数型言語では、静的/動的の境界はどう定義するんだろう？ 例えば多相型の型エラーをデバッグするのって、静的なのか動的なのか… 212 名前：デフォルトの名無しさん mailto:sage [02/05/15 14:42] 言語理論に比べて処理系のセオリーが 弱い気がするのは気のせいでしょうか？>>211 213 名前：デフォルトの名無しさん [02/05/15 15:27] >>210 お前のような厨房がな。 214 名前：201 mailto:sage [02/05/16 00:31] >>203 並列って言うか、そもそも関数型言語は逐次処理でもないじゃん。 木の好き勝手なところを簡約していくっていうか。 そでで再帰的に定義された無限リストの簡約とかまちがうとこわいな。と。 P.Wadlerの入門書にもそれがらみの話あったよねえ? 215 名前：デフォルトの名無しさん [02/05/16 01:21] 関数プログラミングでは、動作手順を記述するわけではないので、命令プログラミングの 動作をステップ実行する従来のデバッグ手法のイメージとはあいいれないかも。 でも、計算順序を無理矢理いれこむ、モナドIO使いまくりのプログラミングなら 命令プログラミングとおんなじだから、print デバッグができるよ。 216 名前：デフォルトの名無しさん [02/05/16 01:39] Windowの表示とかやる場合はモナド使うんですか？ 関数型でイベント駆動処理を書くのって、 ちょっと想像できないんですが。 217 名前：デフォルトの名無しさん mailto:sage [02/05/16 13:57] Fudgetあげ ようとしたけど古いから sage 218 名前：デフォルトの名無しさん [02/05/16 14:49] >>216 GTK+HS のサンプルコードとかみてみれば？ 219 名前：デフォルトの名無しさん mailto:sage [02/05/16 17:00] >>216 モナドによるI/Oのコードをじっとみつめると 入力列内の文字種に応じて呼ばれるハンドラの集まりとも見えてくる。 それがメッセージ列に変わったと思えば書けそうな気がしてくる。 220 名前：デフォルトの名無しさん [02/05/17 06:30] >>205 処理系の実行過程の確認 最適化の結果、プログラマーの予想もしないプログラムに変化したりしないとか その確認をする。勉強にもなるね。 某本にもデバッガでは、シングルステップを使えと載っていた。目から鱗。 221 名前：デフォルトの名無しさん [02/05/17 11:20] >>215 GHCか何かだと、unsafeとか何とかいうモジュールに、 どこでもprintできる関数がなかったっけ。 まさにprintfデバッグのための抜け道として。 222 名前：デフォルトの名無しさん [02/05/17 13:19] >>220 それは要するにデバッガがアナライザだって言ってるだけでは？ そういうのとは微妙に話が違うような気がするなー。 つまり、デバッガにはそういうブラウジング機能とは別に 何かあるって言ってるんだろ？ 223 名前：デフォルトの名無しさん [02/05/17 17:10] >>222 いや、デバッグ以外に使い道があるかどうかって話だろ？ だからアナライザとして使ったり、ってのも答えとしてアリだろ。 224 名前：デフォルトの名無しさん [02/05/17 18:54] ナスです。 225 名前：デフォルトの名無しさん mailto:sage [02/05/18 05:44] ウリです。 226 名前：デフォルトの名無しさん mailto:sage [02/05/18 05:45] デバッガっでようするにアナライザだろ。 デバッガがバグを指摘するわけじゃなし。 227 名前：デフォルトの名無しさん mailto:sage [02/05/18 13:13] >>226 書くのが遅い 228 名前：デフォルトの名無しさん [02/05/19 20:37] >>221 遅延評価だと、どのprintが先に実行されるかわかんなくねえ？ そんなんでデバッグできるのか？ 229 名前：デフォルトの名無しさん mailto:sage [02/05/19 21:05] >>228 何をデバッグしたいかによるけど。 (文字列やファイルの最終的な内容も含めた)計算結果が 正しければ良いなら、別に求まる順序は重要じゃないよね。 まあprintを使うってことは順序も気にするんだろうから、 もともと$!やseqを使いまくってるんじゃないの？ 230 名前：haskell [02/05/26 07:37] age 231 名前：デフォルトの名無しさん [02/05/26 13:54] 高階関数に詳しくなりたいので教えて。 232 名前：Super Combinator [02/05/26 14:22] Bird「関数プログラミング」 www.amazon.co.jp/exec/obidos/ASIN/4764901811/qid=1022390348/sr=1-17/ref=sr_1_2_17/250-5692221-3686632 萩谷昌己「関数プログラミング」 www.amazon.co.jp/exec/obidos/ASIN/4535608172/250-5692221-3686632 あたりで。 233 名前：デフォルトの名無しさん [02/05/26 18:09] まさみさまがそんな本書いているとはしらなんだ.. 竹内先生の Lisp本もじつは読んでないんだよなあ。 234 名前：デフォルトの名無しさん mailto:sage [02/05/26 20:36] 日本語で書かれたHaskell本はいつ頃出ますか？ SMLだって出てるのに……。 235 名前：デフォルトの名無しさん mailto:sage [02/05/26 22:00] >>234 日本のHaskellユーザの数が、初回印刷部数(200)を越えたら。 236 名前：デフォルトの名無しさん mailto:sage [02/05/26 22:42] ユーザの数はどうやって数えるんですか？ 237 名前：デフォルトの名無しさん mailto:sage [02/05/26 23:11] うちの研究室だけで10人はいるんだから簡単に超えそうなもんだけど(藁 238 名前：デフォルトの名無しさん mailto:sage [02/05/26 23:14] >>237 そこが特別なんじゃないの？ 239 名前：デフォルトの名無しさん mailto:sage [02/05/26 23:31] じゃ、漏れが布教用に3冊買ってやるから、早く出してくれよ。 訳本でいいからさ。 240 名前：デフォルトの名無しさん mailto:sage [02/05/26 23:46] つーかさ、200位だったら、 いろんな図書館に要望しまくれば、 なんとかなるんじゃないの？ 241 名前：デフォルトの名無しさん mailto:sage [02/05/27 00:06] 200じゃだめみたい。 www.onweb.to/ken9/log/039.htm 242 名前：デフォルトの名無しさん mailto:sage [02/05/27 11:55] >>237 ここのところ素人も増えてるぞ＞オレオレ 243 名前：デフォルトの名無しさん mailto:sage [02/05/28 02:43] 有明で売れよ! ってことですか? 244 名前：デフォルトの名無しさん mailto:sage [02/05/28 10:52] >>243 東京ビッグサイトの巨大同人誌即売会サークル抽選当選しますた。 でもジャンルはプログラミング言語とはホド遠いけど(w。 245 名前：デフォルトの名無しさん mailto:sage [02/05/28 22:01] >>244 適当でいいからHaskell本もきぼんぬ 買いに行くから(藁 246 名前：244 mailto:sage [02/05/29 14:49] ウチはなんと女装本だぞ。それでも買いに来られるか？（ｗ って、実際問題としてHaskell本を作る余力はなし。 247 名前：デフォルトの名無しさん mailto:sage [02/06/04 16:02] Haskell本かどうかは分からんが、 R. Birdの「関数プログラミング」第２版を翻訳して出版して欲しい。 流れで近代科学社に。 248 名前：デフォルトの名無しさん [02/06/04 19:43] 今売ってる「関数プログラミング」も、 みなしHaskell本では。 249 名前：デフォルトの名無しさん mailto:sage [02/06/04 22:27] ぶっちゃけた話、古いわけよ。 250 名前：デフォルトの名無しさん [02/06/05 00:02] で。 結局、日本語のHaskellの本て有るんですか？ 無いんですか？ （というのか無いのか？） 251 名前：デフォルトの名無しさん [02/06/05 02:13] >>237 おどろき。 どんな研究なんだ！？ 252 名前：デフォルトの名無しさん [02/06/05 15:33] >>237 ならむしろおまえの研究室で発行しる！ 253 名前：デフォルトの名無しさん mailto:sage [02/06/05 21:53] F#のサイトより転載。 Purely functional languages like Haskell are excellent within certain niches, but many simple programming exercises can quickly turn into problems that require a PhD. to solve. 大げさだな・・・ 254 名前：デフォルトの名無しさん mailto:sage [02/06/05 22:30] うまいこというな〜 255 名前：デフォルトの名無しさん [02/06/06 21:13] 女装+Haskell本期待age 256 名前：デフォルトの名無しさん [02/06/06 23:28] 「女装しながら覚えるHASKELL」 257 名前：デフォルトの名無しさん [02/06/06 23:29] 「HASKELLによる女装プログラミングの理論と実践」 258 名前：Super Combinator mailto:sage [02/06/07 07:40] Mocking Bird, "Introduction to Female Attire using Haskell", Price Sale, 2002. 259 名前：デフォルトの名無しさん [02/06/07 13:06] Purely functional languages like Haskell are excellent within certain niches, but many simple programming exercises can quickly turn into problems that require a Female Attire. to solve. 260 名前：デフォルトの名無しさん mailto:sage [02/06/07 13:20] ネタスレ化か？ 261 名前：デフォルトの名無しさん [02/06/07 22:26] 女装した場合には、その人の参照の透明性はどう確保されるのでしょうか？ 262 名前：デフォルトの名無しさん mailto:sage [02/06/07 22:34] アブノーマルな野郎は消えろ。 263 名前：デフォルトの名無しさん mailto:sage [02/06/12 09:48] >>216 FranTk 264 名前：デフォルトの名無しさん [02/06/13 16:21] HTk 265 名前：デフォルトの名無しさん mailto:sage [02/06/13 21:34] >>261 女装は代入ではありません。ラップするだけです。 本人への参照はそのままにしてください。 女装人格←女装関連の知り合い ↓ 本人人格←普通の知り合い 私個人は女装人格をそのまま丸投げの委譲によって実装しているので、 実質どっちを見てても服装と化粧以外はさほどかわりません。 >>262 頑健なソフトウェアを構築するには 例外の存在をなかったことにして無視してはいけません。 266 名前：244 mailto:sage [02/06/13 21:37] >>265もね。 267 名前：デフォルトの名無しさん mailto:sage [02/06/13 23:55] 下らんこと書くな。 つまらんし。 268 名前：ち ◆A2MadQ16 mailto:sage [02/06/14 04:28] つまらんと不満をいうよりも進んでネタを振りましょう。>>267 269 名前：デフォルトの名無しさん [02/06/23 15:09] おい>>1よ 聞いてくれ。 昨日、母の葬式に出たんです。享年54歳。 そしたらなんか自分、涙が一滴もこぼれないんです。 で、よく見たら会ったこともないような親戚のおばさんですら泣いているんです。 もうね、アホかと。馬鹿かと。 俺な、親の死を目の前にして放心してんじゃねーよ、ボケが。 目の前に人が死んでるんだよ、母親が。 なんか親子連れとかもいるし。一家４人で葬式か。ほんとありがとう。 パパは息子さんに挨拶してくるから車で待ってなさい、とか言ってるの。いい親父だな。 俺な、親が死んでんだからもっと泣けと。 葬式ってのはな、もっと殺伐としてるべきなんだよ。 死に化粧をみた瞬間いつ涙があふれてきてもおかしくない、 泣くか叫ぶか、そんな雰囲気が普通なんじゃねーか。オレ、なんなんだよ。 で、やっと葬式が終わったかと思ったら、なんか次々と母のことが思い出されるんです。 そこでまたぶち切れですよ。 あのな、今さら思い出したところで意味ねーんだよ。ボケが。 得意げな顔して何が、今度の休みには帰るよ、だ。 俺は本当に休みに帰るつもりだったのかと問いたい。問い詰めたい。小１時間問い詰めたい。 俺、適当に親との距離をとりたかっただけちゃうんかと。 親不孝者の俺から言わせてもらえば今、若者の間での最新流行はやっぱり、反抗期、これだね。 親ってのはいつまでも生きているもんだと思っている。これがガキの考え方。 親の期待をかなえたつもりで一人暮らし。そん代わりコミュニケーション少なくなる。これ。 で、「少しだけ仕送りいれといたから」　「ああ、無理すんなよ」。これ最期の会話。 今になって後悔ばかりが思い出される、諸刃の剣。 まあお前ら若いもんは、ほんの少しでもいいから親孝行しなさいってこった。 270 名前：デフォルトの名無しさん [02/06/23 21:05] >>256 それは激しく同意。 　つうか、がっこで関数言語やってた奴が、 　仕事でオブジェクト指向の世界に戻されると、 　「このオブジェクト指向言語の型システムは...」とか、 　「RDBの動的型が云々...」って事を無意識に考えてしまって、結構ハマるんだよね。 　そーゆー意味で、関数言語関係者を招聘したMS Researchの今後に期待 271 名前：デフォルトの名無しさん mailto:sage [02/06/23 23:26] >>270 すまん、>>256でいいのか？ 272 名前：デフォルトの名無しさん mailto:sage [02/06/24 01:02] >>270 というわけでこのスレでは Simon P.J. 先生を「サイモン博士」と 呼ぶことを漏れは提案したいっすけど駄目っすか？ 273 名前：デフォルトの名無しさん [02/06/26 00:42] Haskellは東大工学部の一部でデフォルトの授業用言語になってて、 そのせいで全国の工学部（の一部）の授業に拡散・伝染してるから、 1000部ぐらいすぐに出ると思ってたんだが、どうよ？ 女装じゃ無理かもしれんが…（それとも女装のほうががいけるか！？） 274 名前：デフォルトの名無しさん mailto:sage [02/06/26 07:04] 女装って何のこと？ 275 名前：デフォルトの名無しさん mailto:sage [02/06/26 09:19] 「 Haskell を 1.25 倍使うコピー本」でどうだ。 売り子が女装でなくてじょせーだと嬉しい、ってオイ＞漏れ 276 名前：K mailto:sage [02/06/26 20:00] >>273 うちのことだな＞東大工学部の一部 講義で教えてもらうまで名前も知らなかった。 日本語の解説書さえあれば使いたい言語なのだが＞Haskell 277 名前：デフォルトの名無しさん [02/06/26 20:52] >>276 みんなそんなもんか。 私は大堀先生に感化されてＭＬ使ってる。 278 名前：デフォルトの名無しさん mailto:sage [02/06/27 00:01] >>275 女婿だと嬉しいの？ 279 名前：!275 mailto:sage [02/06/27 00:48] うん、嬉しい。 出来ればレイヤーさんきぼ。 280 名前：デフォルトの名無しさん [02/06/27 22:54] 最近のCPUは、条件分岐がたくさんあると頻繁に 分岐予測ミスが発生してストールであぼーんな訳ですが、 関数型言語って手続き型に比べてその辺どうなの？ ガードの存在って影響ある？ CMOVccとかSETccとか使ってくれるのかな。 281 名前：275 mailto:sage [02/06/29 11:01] >>280 予測が当たりまくるタイプの条件分岐なら、 問題無いという話を，漏れは聞いたことがある． で，外れまくってイヤソなタイプのコードもあって， 例えばブレゼンハムのアルゴリズムは，結構イヤソだ， という報告も聞いたことがある． 漏れの直感ではイヤソなタイプという気がする． GHC はバージョンupが烈しいんで，最近の奴は 自分にはようわからん．ココは Haskell 板なんで Haskell の話と思ったが，もしかして strict な 奴の話も必要 ? 282 名前：デフォルトの名無しさん [02/06/29 17:29] >>280 SETｃｃって何？ 判定と分岐を分離して、間に命令をはさむDeleySlotの一種のような ものと勝手に想像したがどう？ 283 名前：Super Combinator [02/07/01 00:39] SETcc: 条件付き定義命令。 CMOVcc: 条件付き移動命令。 if (条件) var = X; } else { var = Y; } を var = Y; if (条件) var = X; // SETcc or CMOVcc に。 もちろんvarはregister割り当てされてるのな。 284 名前：デフォルトの名無しさん [02/07/01 02:19] ARMとかに最初っからついてるやつですな。 x86にも最近のはついてるときいて感心した私。 っていうか、関数型言語って naiveな実装だと closure作りまくりで 予測分岐も糞もない、って気がするんだけどだめ? ちゃんとかりかり tuning する、GHCみたいのだといいかんじになるのかも しれないけど。よくわからん。 結論: 関数型言語は dataflow machineに実装しよう(ネタ) 285 名前：デフォルトの名無しさん [02/07/01 07:52] >>284 ネタとは言い切れん。 いい加減に今のアーキテクチャでのクロック向上ってのも物理的限界が 見えてきたしね。 286 名前：デフォルトの名無しさん mailto:sage [02/07/01 15:16] >>285 そうだそうだ。(煽) ついでに非同期って正義 ? Crusoe の内部論理では活かされてるとか 聞いたことがあるけど ＞ 非同期 287 名前：デフォルトの名無しさん [02/07/11 09:01] univ.ygu.ac.jp/e-itoh/2001/9805126-shimizu.pdf www.microsoft.com/japan/msdn/academic/ark/Webfiles/languages.htm#mondrian 288 名前：デフォルトの名無しさん [02/07/11 09:14] www.mail-archive.com/haskell@sampou.quickml.com/ 盛り上げれ 289 名前：石敢當 [02/07/11 21:56] GHC 5.04 がリリースされました。 290 名前：デフォルトの名無しさん [02/07/12 01:40] さっそくビルド、あげ！ 291 名前：デフォルトの名無しさん [02/07/16 00:36] 質問くんで、すいません。 どなたかLinar Typeというものが、どんなモノか教えてもらえませんか？ 「論文紹介：How to Declare an Imperative」 ttp://www.is.titech.ac.jp/~kando9/work/Progress/Monad/Monad.html で見た限り純粋関数型言語でIOや状態を扱うのに 将来有望そうな理論（技術？）に見えました。 ttp://citeseer.nj.nec.com/ のどこかとかが参考になりそうですが どれが良いのやら。さっぱり。 だれか基礎と応用の両方を教えていただけないでしょうか？ お願いします。 292 名前：デフォルトの名無しさん [02/07/16 03:03] っていうか、まずその紹介されてる論文の、その章を見れば良いじゃん。(^^; そしたら、そこからreferされてる論文を次に読むとか… （citeseerがOKなら英語でOKだよね。） とりあえず、すでにHaskellを知ってるなら、Cleanって言語の uniqueness typingって仕組みを使ってみるのが吉かと。 www.cs.kun.nl/~clean/で合ってる？＞もっと詳しい人 293 名前：デフォルトの名無しさん [02/07/16 10:17] linear logic (線形論理) ね。 論理にヨワい自分は岩波の 2 冊本 「コンピュータサイエンス入門」 で、やっとこ様相論理に辿り付いたトコなんで 有意義な助言はできんが... とりあえずロジックに関してどれくらいわかってます ? >>291 294 名前：デフォルトの名無しさん mailto:sage [02/07/16 16:29] 分からないんだったらまずはぐぐりなさい。 www.google.co.jp/search?q=%E7%B7%9A%E5%BD%A2%E8%AB%96%E7%90%86&ie=UTF-8&oe=UTF-8&hl=ja&lr= 295 名前：デフォルトの名無しさん mailto:sage [02/07/16 16:30] 又は、 www.google.co.jp/search?hl=ja&ie=UTF-8&oe=UTF-8&q=linear+type&lr= 296 名前：デフォルトの名無しさん [02/07/16 22:58] どうして、そんなに遅いの？ 297 名前：デフォルトの名無しさん mailto:sage [02/07/16 23:06] >>296 それは言える… CleanとかMLとかは速いらしいのに！ 298 名前：名無しさん＠Ｅｍａｃｓ mailto:sage [02/07/16 23:37] Haskellは生成されたバイナリよりも、 コンパイラ自体がhaskellで書かれてる ことによる遅さがちょっとイラつかせる。 また勉強中の身だから偉そうなことは いえないですね。失礼しました。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef