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

1 名前：デフォルトの名無しさん mailto:sage [2007/10/30(火) 20:28:13 ] haskell.org www.haskell.org/ 日本語サイト www.sampou.org/cgi-bin/haskell.cgi www.shido.info/hs/ 過去ログ 関数型プログラミング言語Haskell Part1 pc.2ch.net/tech/kako/996/996131288.html Part2 pc2.2ch.net/test/read.cgi/tech/1013846140/ Part3 pc8.2ch.net/test/read.cgi/tech/1076418993/ Part4 pc8.2ch.net/test/read.cgi/tech/1140717775/ Part5 pc8.2ch.net/test/read.cgi/tech/1149263630/ Part6 pc11.2ch.net/test/read.cgi/tech/1162902266/ Part7 pc11.2ch.net/test/read.cgi/tech/1174211797/ ・2chの仕様により、行頭の半角スペースは表示されません。 　コードをインデントしたいときは、代わりに または全角スペースを使うことができます。 331 名前：328 mailto:sage [2007/12/14(金) 15:35:51 ] 日本語ですよ? 332 名前：デフォルトの名無しさん mailto:sage [2007/12/14(金) 15:45:42 ] 決して英語が読めないわけではないが、 不自然だ 読みにくい 目が痛い 333 名前：デフォルトの名無しさん mailto:sage [2007/12/14(金) 16:23:51 ] 理論はそのとおりなんだが、残念だがそんな理論を理解出来る人間は少数派なんだよ。 共産主義みたいなもん。高尚な理屈よりも明日パンが、今日のバグを潰せるかが問題なわけだ。 いいじゃない。Haskellは芸術的な小物を個人で作るのに向いてるってことで。 334 名前：デフォルトの名無しさん mailto:sage [2007/12/14(金) 17:07:50 ] >>333 多数のバカよりも少数の優秀な人間でプログラミングしたほうが安く早くできます。 335 名前：328 mailto:sage [2007/12/14(金) 17:08:28 ] >>332 そういう意味か。すまん >>328については、 journals.cambridge.org/action/displayAbstract?fromPage=online&aid=715036 で。探せばピィーディーエフも見つかるようです。 336 名前：デフォルトの名無しさん mailto:sage [2007/12/14(金) 17:09:42 ] >>333 どの辺の理論のことを言ってるの？ 337 名前：デフォルトの名無しさん mailto:sage [2007/12/14(金) 17:10:46 ] >>335 不自然だ 読みにくい 目が痛い お前は日本語文書の常識を勉強したほうがよさそうだな 338 名前：デフォルトの名無しさん mailto:sage [2007/12/14(金) 17:16:49 ] どっちにしろ、今みたいに人気がなくて、そのせいでライブラリも 周辺環境も整っていない状況だと、小物を個人で作るのすら満足にできん。 339 名前：デフォルトの名無しさん mailto:sage [2007/12/14(金) 17:43:43 ] wxhaskellが使いやすい が、6.8系用が出てない・・6.6系は非公式 340 名前：デフォルトの名無しさん mailto:sage [2007/12/14(金) 17:52:21 ] いまだと.NETやJavaVMに乗せちゃえばライブラリ不足は一挙に解決だな。 341 名前：デフォルトの名無しさん mailto:sage [2007/12/14(金) 17:56:18 ] >>339 普通にdarcs版をビルドできないか？ 342 名前：デフォルトの名無しさん mailto:sage [2007/12/14(金) 17:56:46 ] >>340 なんで？ 343 名前：デフォルトの名無しさん mailto:sage [2007/12/14(金) 19:53:13 ] conceptの導入をもってHaskellはC++のサブセットになります つまりこれで全ての言語がC++のサブセットになるというわけです 344 名前：デフォルトの名無しさん mailto:sage [2007/12/14(金) 20:54:45 ] 本日をもってHaskellはウジ虫を卒業する 本日からHaskellはC++のサブセットである 兄弟の絆に結ばれる Haskellのくたばるその日まで どこにいようとC++は貴様らの兄弟だ 多くはベトナムへ向かう ある者は二度と戻らない だが肝に銘じておけ C++は死ぬ 死ぬために我々は存在する だがC++は永遠である つまり―――Haskellも永遠である！ 345 名前：デフォルトの名無しさん mailto:sage [2007/12/15(土) 07:46:00 ] 初心者質問です。 test = flip fun1 . fun2 の場合、 1. test = flip (fun1 . fun2) 2. test = flip (fun1) . fun2 どっちの意味なんでしょうか。(.)が使用されている場合、flipが対象とする 関数がどこまでかかるか分かんなくなってしまいました。 346 名前：デフォルトの名無しさん mailto:sage [2007/12/15(土) 08:05:18 ] (.)よりも関数適用のほうが優先度が高いから答えは一応 2.なんだけど、 括弧の付け方としては (flip fun1) . fun2 のほうが正しい。 347 名前：345 mailto:sage [2007/12/15(土) 14:13:25 ] >>346 ありがとうございます。合成関数全体にかかるのかと思ってました。 もう少しいいでしょうか。 ja.doukaku.org/comment/4621/ にある、 attachIndex = map (uncurry (flip zipWith [0..] . ((,) .) . flip (,))) . zip [0..] がよく理解できないのですが、 (flip zipWith [0..] . ((,) .) . flip (,)) 0 "abc" の部分は zipWith (((,) .) $ flip (,) 0) [0..] "abc" と考えられると思うのですが、何ででしょうか。(flip zipWith [0..] . ((,) .) . flip (,)) の 第一引数"0"がまず部分適応されてflipされるところが理解できません。 348 名前：デフォルトの名無しさん mailto:sage [2007/12/15(土) 14:41:26 ] (flip zipWith [0..] . ((,) .) . flip (,)) 0 から始める。まずこの式は(A . B . C) 0という形だからA (B $ C 0)に直せて、 flip zipWith [0..] ( ((,) .) $ flip (,) 0 ) これはflip A B Cという形だからA C Bと書き換えられて、 zipWith ( ((,) .) $ flip (,) 0) [0..] 349 名前：345 mailto:sage [2007/12/15(土) 15:29:30 ] >>348 ありがとうございます。しかし、まだちょっと理解できませんw 1.第一引数"0"の部分適応を行う 2.flip する の順番の根拠がよく分かりません。 (flip zipWith [0..] . ((,) .) . flip (,)) 0 "abc" の第二引数が最後に適応されるのは何故でしょうか。 あと、これは変な質問なんですけど、 (flip zipWith [0..] . ((,) .) . flip (,)) 0 "abc" の形を慣れた方は直接記述できちゃうんでしょうか。それとも、 zipWith ( ((,) .) $ flip (,) 0) [0..] "abc" の形から変形させていく形でプログラム書いていくんでしょうか。 350 名前：デフォルトの名無しさん mailto:sage [2007/12/15(土) 15:37:45 ] >>349 Haskellでは基本的にどんな順番で簡約しても結果は同じだから、分かりやすい順序でやっただけ。 もっと実装に即した順序でやることもできるけど、面倒なだけな気がする。 >の形を慣れた方は直接記述できちゃうんでしょうか。 俺はできない。読むのも二分くらい掛かった。 351 名前：デフォルトの名無しさん mailto:sage [2007/12/15(土) 15:42:07 ] あ、でもそのnobsunという人は日常的にそういうコードを書いてるみたいだから、 たぶんすらすら書けるんだろう。 352 名前：デフォルトの名無しさん mailto:sage [2007/12/15(土) 15:46:11 ] 俺思うんだけどさ、デザインパターン中毒みたいにポイントフリー中毒ってあるんじゃないかなあ。 そーいうのって可読性犠牲にしてまでやるものなのか？ 353 名前：デフォルトの名無しさん mailto:sage [2007/12/15(土) 15:47:28 ] >>350 > Haskellでは基本的にどんな順番で簡約しても結果は同じだから、分かりやすい順序でやっただけ。 (flip zipWith [0..] . ((,) .) . flip (,)) 0 "abc" 自分がどうも腑に落ちないのは、どうして zipWith ( ((,) .) $ flip (,) 0 "abc") [0..] こうじゃないんだろう？ってとこなんですね。もちろん、こういう解釈だとダメなんですけど、 引数一つだけ取って、ある関数を返してから、次に行くってのがルールだったりするのかな、 と思ったのですが。 > 俺はできない。読むのも二分くらい掛かった。 そうですかw。いや、直感的に書ける人って凄いなぁって思ったんですが、なかなか そういう人はいないんでしょうかね。 354 名前：デフォルトの名無しさん mailto:sage [2007/12/15(土) 16:02:39 ] >>352 デザインパターン中毒はどうか知らんが、この書きかたには 記述が簡潔になるという利点があるんだから、別にいいんじゃないかと思う。 >>353 Haskellの関数は常に一引数関数で、多引数関数は カリー化でエミュレートされているだけだということを思い出すべし。 (.)も両辺を一引数関数として合成するから、 (f . g) a b と f (g a b) は等しくない。 355 名前：デフォルトの名無しさん mailto:sage [2007/12/15(土) 16:05:04 ] 些細なことだけど > (f . g) a b この括弧なんとかならないかな 356 名前：デフォルトの名無しさん mailto:sage [2007/12/15(土) 16:13:51 ] >>354 > Haskellの関数は常に一引数関数で、多引数関数は > カリー化でエミュレートされているだけだということを思い出すべし。 そうでしたw。 いやぁ、ありがとうございます。スッキリしました。 357 名前：デフォルトの名無しさん mailto:sage [2007/12/15(土) 16:36:06 ] >>355 >219に戻れ 358 名前：デフォルトの名無しさん mailto:sage [2007/12/15(土) 16:43:36 ] >>357 >>219とは趣旨が違う > (f . g) a b この括弧はうっとうしいなぁと言ってるだけなんだよ。 $みたいに括弧省略したい 359 名前：デフォルトの名無しさん mailto:sage [2007/12/15(土) 17:10:55 ] 俺はその格好が好きだ 360 名前：デフォルトの名無しさん [2007/12/15(土) 17:31:40 ] ML でも (foo o bar o baz o foobar) quux みたいに書くね 361 名前：デフォルトの名無しさん mailto:sage [2007/12/15(土) 20:25:33 ] >>358 お前は何を言っているんだ 362 名前：デフォルトの名無しさん mailto:sage [2007/12/15(土) 21:14:46 ] >>361 心で感じろ 363 名前：デフォルトの名無しさん mailto:sage [2007/12/16(日) 01:37:28 ] >>361 風を感じろ 364 名前：デフォルトの名無しさん mailto:sage [2007/12/16(日) 01:45:32 ] GHC 6.8.2 Windows版で、コンソールのコードページが英語のになるバグがようやく直ったな。 365 名前：デフォルトの名無しさん mailto:sage [2007/12/16(日) 20:36:29 ] Parallel Haskellの拡張されてる点ってどんなとこ？ 366 名前：デフォルトの名無しさん mailto:sage [2007/12/17(月) 08:39:00 ] >>364 太字になるのは？ 367 名前：デフォルトの名無しさん mailto:sage [2007/12/17(月) 09:27:14 ] WindowsでGHCなんか使うやつはバカです 368 名前：デフォルトの名無しさん mailto:sage [2007/12/17(月) 11:39:39 ] 同感 369 名前：デフォルトの名無しさん mailto:sage [2007/12/17(月) 11:47:31 ] windowsではGHC以外に何が一番いいの？ 370 名前：デフォルトの名無しさん mailto:sage [2007/12/17(月) 16:08:40 ] >>365 （疎結合の）クラスタ範囲にまで並列化する （普通のマルチコア・マルチCPU（どっちも共有メモリ）範囲の（半）自動並列化ならGHC本体だけでもできる） そんなハード持ってなければどっちみち関係ない 371 名前：デフォルトの名無しさん [2007/12/17(月) 22:55:51 ] 　　　　　　　　＿＿＿_ 　　　　　　　／　　 　 　＼ 　　　　 　／　　─　 　 ─＼　　　　　今年もあと一ヶ月だお・・・ 　　　　／ 　　 （●） 　（●） ＼ 　　　　|　 　　 　 （__人__）　 　 |　＿＿＿＿＿＿＿_ 　 　　 ＼　　 　　 　￣ 　 　.／　.| |　　　　　　　　　　| 　　　　ノ　　　　　　　　　　　＼　| |　　　　　　　　　　| 　 ／´ 　 　　　　　　　　　　　 　 | |　　　　　　　　　　| 　|　　　　ｌ 　 　 　 　 　 　　　　　| |　　　　　　　　　　| 　ヽ　　　 -一ー_~､⌒)^),-､　　　| |_＿＿＿＿＿＿__| 　　ヽ ＿＿＿＿,ノγ⌒ヽ)ニニ-￣　　　| |　　| 　　 　　　／￣￣￣＼ 　　　　／　─　 　 ─ ＼ 　　 ／　 （●） 　（●）　 ＼.　　俺はこの一年間何をしていたんだろう 　　 |　　　　（__人__）　　　　| 2chで浪費した莫大な時間を何か有意義なことに使っていたら・・・ 　　 ＼　　　 ｀ ⌒´　　　 ／ 　　 ／　　　　　　　　　　 ＼ 372 名前：デフォルトの名無しさん mailto:sage [2007/12/17(月) 23:18:53 ] このスレは相当に有意義だと思うんだけどな。 つうか基本的に専門スレしか見ない人も多いと思うんだが。 今年も大変勉強になりました。 373 名前：デフォルトの名無しさん mailto:sage [2007/12/22(土) 18:46:23 ] いまさらだが、 >>96 JavaScriptでもできるな 374 名前：デフォルトの名無しさん mailto:sage [2007/12/22(土) 20:49:40 ] (>>=´∀｀) 375 名前：デフォルトの名無しさん mailto:sage [2007/12/22(土) 23:20:06 ] そこで具体的な事じゃなく漠然と「有意義な事」って言葉しか出ないなら 2ちゃんやらなくても結果は一緒だったと思うんだよ 376 名前：デフォルトの名無しさん mailto:sage [2007/12/23(日) 00:04:51 ] 日頃から頑迷そうな意見乙 377 名前：デフォルトの名無しさん mailto:sage [2007/12/24(月) 12:55:59 ] 哲板から転載 読んだ人いる？ 圏論による論理学　高階論理とトポス 清水 義夫 ISBN978-4-13-012057-9, 発売日:2007年12月中旬, 判型:Ａ５, 232頁 内容紹介 20世紀後半，数学，計算機科学，論理学などの分野で採用されてきている圏論． 関数概念を基本として現象をとらえようというこの方法を， 関数型高階論理とトポスを題材にして丁寧に解説する． 論理学の観点を中心に，圏論の考え方を紹介するテキスト． 主要目次 序 第1章 関数型高階論理 第2章 トポス 第3章 トポスの基本定理 第4章 プルバック関手ｆ *の右-随伴関与Πf 第5章 リミット、空間性トポス、限定記号 結び 付録１　A∧( ) ┤A⊃( )のイメージ的理解 付録２　各章の課題 主な記号一覧／索引 378 名前：デフォルトの名無しさん mailto:sage [2007/12/24(月) 12:57:43 ] >>377 立ち読みしたが、俺らには全く関係ないよ 379 名前：デフォルトの名無しさん mailto:sage [2007/12/24(月) 12:59:29 ] ●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●不合格●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●● これを見た人は確実に【不合格】です。これをコピペでどこかに１回貼れば回避できます。 これは本当です。やらないと一年無駄になります. 私も最初は嘘だと思ったんですが、一応コピペしました。それで第一志望に合格出来ました。 けどコピペしなかった友達がA判定とっていたのに、おちたんです。(慶応合格h.sさん) 俺はもうE判定で記念受験だったんだけど、コピペを１０回くらいした途端に過去問が スラスラ解けるようになって、なんと念願の開成に受かりました。(開成合格r.kくん) これを今年の試験前に見てシカトしたら、入試でミスって最悪です。(n.aさん) 380 名前：デフォルトの名無しさん mailto:sage [2007/12/24(月) 16:34:29 ] tasukete 381 名前：デフォルトの名無しさん mailto:sage [2007/12/24(月) 16:37:43 ] >>380 通報しますた 382 名前：デフォルトの名無しさん mailto:sage [2007/12/25(火) 08:38:38 ] >>378 関係ないことないだろ。 Haskellの型システムを理論的に理解する時など。 383 名前：デフォルトの名無しさん mailto:sage [2007/12/25(火) 08:51:28 ] しみろん、懐かしいな… 384 名前：デフォルトの名無しさん mailto:sage [2007/12/25(火) 11:43:56 ] すげー久しぶりに しみろん 見た… 385 名前：デフォルトの名無しさん mailto:sage [2007/12/26(水) 19:57:10 ] liftM と fmap が一致しない場合ってあるの？ 386 名前：デフォルトの名無しさん mailto:sage [2007/12/26(水) 21:11:49 ] >383-384 東大OB乙 387 名前：デフォルトの名無しさん mailto:sage [2007/12/28(金) 18:50:21 ] 二ヶ月ほど前に撮った写真です 場所はバトルロワイヤルの撮影地にもなった 軍艦島での一枚です。 www.uploda.net/cgi/uploader1/index.php?file_id=0000278909.bmp 撮影し現像した物を 心霊写真がないかな〜っと面白半分で探していると 偶然にも一枚だけ物凄い写真が在りました 最初に見えたのは右下の子供の様な顔です 左にはボーっと立ち尽くし こっちを見ている子供がうっすらと写っています 上部には青白い叫び顔があります それだけではありません 探せば探すほど気持ち悪い顔があるのです 私は現在で約30ほどの顔を見つけました、全てこっちを見ています 探せば探すほどあまりにも出てくるので 気持ち悪くなり頭が痛くなりました この写真ですが、ある友人に貸した所 夜に1時間程笑い声の様なものが聞こえてかなり 怖かったらしいです・・・ 霊感がある方はぜひ鑑定をお願い致します。 因みに、スキャナーで高画質でスキャンした上で 見易いように画質調整をしています ですのでファイルサイズが9MBにもなります・・・ 388 名前：デフォルトの名無しさん mailto:sage [2007/12/28(金) 21:23:54 ] >>387 スレ違い 画像処理 その10 pc11.2ch.net/test/read.cgi/tech/1197759782/ 389 名前：デフォルトの名無しさん mailto:sage [2007/12/29(土) 00:40:56 ] ワロタ 390 名前：デフォルトの名無しさん [2007/12/31(月) 18:01:51 ] 初心者レスです。 既出や意味不明な質問でしたらすみません。 ポイントフリースタイルって言葉がありますよね。 仮引数を無くして、関数を関数だけで定義するという意味で。 firstNLines n cs = (unlines . take n . lines) cs 上のような関数が定義されていたとして、 仮引数を減らす仮定で firstNLines n = unlines . take n . lines 上のように書けますよね。 更に仮引数 n を無くす場合 firstNLines = (. lines) . (unlines .) . take と書けると思うんですが ポイントフリースタイルとなった最後の定義式を見て 理解しやすくなったとは思えないのです。 積極的に使うべきなのでしょうか。 391 名前：デフォルトの名無しさん mailto:sage [2007/12/31(月) 18:07:32 ] わかりやすいほうでいいんじゃない？ ごちゃごちゃしてるのがいやならポイントフリーで。 392 名前：デフォルトの名無しさん mailto:sage [2007/12/31(月) 19:15:14 ] なんでもポイントフリーにするのは難読化への道を歩んでしまいかねん。 とりあえず二つ目のfirstNLines nみたいに普通に使ううちは 型を明示してれば分かりにくくなることも無いけど、 度を過ぎた奴はコードの修正とかも考えると扱いにくいわ読みにくいわでいろいろと面倒だし、 ポイントフリースタイルが時にはポイントレス（要領の悪い）スタイルといわれることもある ってHaskellWikiに書いてた 俺もflipとかドットとか使いまくったコードを読むのは嫌い。 でも書いてる奴からするとパズルみたいで楽しいんだろうなあ、とか。 393 名前：389 mailto:sage [2007/12/31(月) 19:29:48 ] ポイントレススタイル・・・。 書くときは頭の体操になるかもしれませんが 読む方からすると大変ですよね。 394 名前：デフォルトの名無しさん mailto:sage [2007/12/31(月) 21:34:10 ] ポイントフリースタイルにすると点 . がどんどん増えてぜんぜんポイントフリーじゃないよ(笑 395 名前：デフォルトの名無しさん mailto:sage [2007/12/31(月) 22:03:28 ] map ($ 3) [(+1),((-)2),(/3),(*4)]　とか書くと単純なことなのになんか愉快だよね、たしかに 396 名前：デフォルトの名無しさん mailto:sage [2007/12/31(月) 23:38:55 ] なんだその記号だらけの読みにくい奇怪なコードは 397 名前：デフォルトの名無しさん mailto:sage [2008/01/01(火) 00:16:55 ] あけましておめでとうございます。 今年は Haskeller になれるように頑張りまふ(｀･ω･´)!! 398 名前：デフォルトの名無しさん mailto:sage [2008/01/01(火) 10:27:49 ] 俺もだ！ 今年こそはHaskellマスターになる 399 名前：デフォルトの名無しさん [2008/01/01(火) 11:08:26 ] >>395 少し愉快になれた(ﾟ∀ﾟ) 400 名前：デフォルトの名無しさん [2008/01/01(火) 17:35:39 ] 今更だけど >>52 の説明に感動した。 401 名前：デフォルトの名無しさん mailto:sage [2008/01/01(火) 18:08:19 ] >>394 ポイントって確か関数合成演算子じゃなくて「値」のことだったかと まあそれを踏まえて言ってるのかもしれないけど 402 名前：デフォルトの名無しさん mailto:sage [2008/01/09(水) 00:26:20 ] モナド難しいよ。 みんなエディタは何使ってる？ Emacs が多いのかな。 403 名前：デフォルトの名無しさん mailto:sage [2008/01/09(水) 00:50:16 ] 現状まともにプログラミングできる環境がemacsしかない eclipseは使いづらいし、xyzzyのhaskell-modeはバグだらけだしwindowsでしか動かないし。 404 名前：デフォルトの名無しさん mailto:sage [2008/01/09(水) 00:52:19 ] >>402 モナドなんてHaskellではただのデータ型なんだから、別に難しいことなんかないよ。 405 名前：デフォルトの名無しさん mailto:sage [2008/01/09(水) 09:01:44 ] >>403 vim にもあるでしょ？俺は vim 使ってるよ 406 名前：デフォルトの名無しさん mailto:sage [2008/01/09(水) 11:04:47 ] 俺は、viはほとんど使えないんだ。 設定ファイルをちょこっと編集するぐらいなら使うが、深い使い方は覚えてない。 407 名前：デフォルトの名無しさん mailto:sage [2008/01/09(水) 15:34:50 ] >>401 ここに由来が書いてあります。 www.haskell.org/haskellwiki/Pointfree 408 名前：デフォルトの名無しさん mailto:sage [2008/01/09(水) 17:39:13 ] darcs2って今までのdarcsとどう違うの haskellの組み込み言語atomを詳しくおしえて 409 名前：デフォルトの名無しさん mailto:sage [2008/01/11(金) 18:22:16 ] 関数型初心者です。 今、SICPを少しずつ読んでるのですが、set!のようなものをHaskellがモナド化するのは 単に純粋であることに拘るからでしょうか。IORefみたいなものがset!に当たるかと思います が、副作用アリだぞ、ということを意識させる以上のメリットとかがよく分かりません。 410 名前：デフォルトの名無しさん mailto:sage [2008/01/11(金) 20:10:23 ] >>409 プログラマに直接メリットはない。 メリットは最適化コンパイラを作るのが楽になること。 411 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 04:05:03 ] 関数型言語をやる人の多くは、学生も含め研究者です。 研究テーマはプログラミング言語の中でも、 意味論やプログラム解析などが多く、 そういう研究では参照の透明性が非常に有益な性質です。 たとえば、Javaで盛んに研究されているエスケープ解析も、 初期の成果では、関数型言語で行われたものが多いです。 また参照の透明性を保つことは、実務プログラマにとっても大変有益で、 プログラムの簡明さを保つことにつながります。 良く理解すれば、他の言語でも使える一つの方法論を得たことになります。 412 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 04:32:28 ] C99のコンパイラ作ってくれ。 413 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 04:33:24 ] インタープリタで頼む。CなのにGCがオプションであったりとか。 414 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 08:18:04 ] CINTがあるじゃないか 現状どうなってるか全く知らないけど 415 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 09:06:52 ] >>410-411 そんな小難しい話しなくても、評価順の決まっていない言語で副作用を使うのが どれだけ厄介か考えれば済むことじゃないか？ 416 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 09:42:37 ] >>409 確かに純粋であることに拘っているからという点は大きい。 しかし、それだけではなく、例えば、 Haskellではリストを使ったプログラムを書いている途中でそれを非決定性計算と みなしてプログラムの一部を書くとか、IOに限らずモナドを気軽に使う人もいる。 そのためモナド一般を扱う便利関数(mapMとかモナド変換子とか)が多く用意されている。 IOがモナドになっているとそういった便利関数が使えるので便利。 また、モナドになっていると読みやすさのためにコードをまとめたり 移動させたりといった操作が気軽にできる。 例えば副作用のある言語で f x = x + y + (副作用のある式) where y = (副作用のある式) とかやるとどの順番で副作用が現れるかとか、yはどのタイミングで 何回評価されるのかわからない。 Haskellであればそのような問題はないので気軽にwhereにコードを まとめたりできる。 417 名前：409 mailto:sage [2008/01/12(土) 11:02:27 ] 皆さん、ご回答ありがとうございます。 >>415 そうなんですが、モナドはdo記法が可能で、これは実質手続き型の 記述ですよね。手続き型の記述が関数型言語内で可能だから、IOが モナドになっていると思うのです。 >>416 モナド自体は演算のリレーということで分かるんですが、副作用の発生 する式をそうする理由は、上に書いたように、単に順番が保証されるのが モナドである、という以上の理由は無い気がします。 どちらかというと、>>410さんの書いていることがメインなのでしょうかね。 418 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 12:10:33 ] モナドのおかげで、 CやSchemeよりコンパイラの最適化がより進むって事はないんで、 そこのところは誤解しないように。 参照の透明性から、プログラム変換しやすくなるので、 コンパイラの研究がやりやすいってだけ。 419 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 12:10:54 ] >>417 ＞単に順番が保証されるのがモナドである 違う。遅延処理ではg . f(x)でf → gと簡約されるかどうかがわからないのと同じように ¥x -> mf >>= mg でmf → mgと簡約されるかどうかはわからない。 モナド自体には「計算のリレー」の意味はあるけど「順番に実行する」意味はない。 ＩＯモナドみたいな奴は、計算のリレーが示すその一連のＩＯアクションがmainに渡されたときに （遅延しないHaskell処理系が）順番に実行することで「順次実行」を実現している。 ＩＯがモナドになっているのは「計算がリレーの形になっている」ことを保障させるためだけ。 UnsafeInterleaveIOはIOモナドから出してすぐ入れるだけの処理だけどIOアクションが遅延するようになる。 これは計算のリレーを途中で切断したからその部分だけ順次実行できなくなったんだね。 これを使ってる関数にはgetContentsやinterleaveとかがある。 420 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 14:57:58 ] 前に読んだことがある論文で、 HaskellのIOの実装に関する論文なんだが、 タイトルを忘れてしまった。 それらしい論文のタイトルを挙げてくれませんか？ 421 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 15:08:02 ] 俺はsimonpjのこれが面白かった。 Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell research.microsoft.com/%7Esimonpj/Papers/marktoberdorf/mark.pdf 422 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 17:23:16 ] >>421 これだこれだ ありがとう 423 名前：421 mailto:sage [2008/01/12(土) 18:09:21 ] うぉー、一発的中！ ご褒美に最近読んで面白かったHaskell論文のタイトルくれ 424 名前：デフォルトの名無しさん mailto:sage [2008/01/14(月) 02:35:49 ] web.yl.is.s.u-tokyo.ac.jp/~ganat/memo/aboutHaskell.html これに書かれてる、 > Ericssonによる 電話のソフトウェアを用いた一連の実験によれば、9から25倍の向上が 見られました の部分の根拠となる論文って何？ 425 名前：デフォルトの名無しさん mailto:sage [2008/01/14(月) 12:27:39 ] ２組のタプルの値を交換する関数って 標準でありますか？ exTuple (x,y) = (y,x) みたいな感じの。無いならいいんですが・・・。 426 名前：デフォルトの名無しさん mailto:sage [2008/01/14(月) 13:26:01 ] 無いと思う。強いて言えばuncurry (flip (,))だけど。 427 名前：デフォルトの名無しさん mailto:sage [2008/01/14(月) 13:39:28 ] なるほど uncurry ですか。 flip (,) までは考えてたんですが ありがとうございます。 428 名前：デフォルトの名無しさん [2008/01/14(月) 15:15:28 ] 十進数 (e.g. [1,2]) を二進数 (e.g. [1,1,0,0]) に変換するプログラムを， foldl を用いて書け，という問題を連休中ずっと考えてるんですが， 脳味噌が手続き型で凝り固まっていてさっぱりわかりません． どうやって書くのか教えて頂けませんか． 429 名前：デフォルトの名無しさん [2008/01/14(月) 15:19:02 ] 手続き的になら書けるの？ 430 名前：デフォルトの名無しさん mailto:sage [2008/01/14(月) 15:26:32 ] 教科書的に書こうとしてみたが、こんなんでいいか？ import List -- n進数表示から整数へ fromBaseN :: Integer -> [Integer] -> Integer fromBaseN n ds = foldl f 0 ds   where     f acc d = n * acc + d -- 整数からn進数表示へ toBaseN :: Integer -> Integer -> [Integer] toBaseN n 0 = [0] toBaseN n x = reverse $ unfoldr f x   where     f 0 = Nothing     f x = Just (mod x n, div x n) -- 十進数から二進数へ decToBin :: [Integer] -> [Integer] decToBin = toBaseN 2 . fromBaseN 10 431 名前：デフォルトの名無しさん mailto:sage [2008/01/14(月) 15:30:33 ] >>430 教科書的なら一発でできる方法があるはずだ

---

---

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

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