関数型プログラミング言語Haskell Part25at TECH関数型プログラミング言語Haskell Part25 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト79:デフォルトの名無しさん 14/03/02 20:20:44.42 論文の紹介だけだったか まぁそれでも価値はあるから、もうそれでいいよ ちょっとは期待してたんだが・・・ 80:デフォルトの名無しさん 14/03/02 20:43:26.21 教えたところで理解できるという保証がなさそうだね 81:デフォルトの名無しさん 14/03/02 20:53:04.50 上目線で質問するあたり俺たちかっこいい 82:デフォルトの名無しさん 14/03/02 20:55:16.39 「教える」んじゃなくて、「語る」と考えるといいかも 上下関係じゃなくて、対等の関係で議論しあうというのも、たまにはいいと思う （相手を言い負かそうとか、そういうのは無しで） 83:デフォルトの名無しさん 14/03/02 21:25:56.03 >>82 いいこと言った 84:デフォルトの名無しさん 14/03/02 21:32:08.00 圏論わかる同士で話すときに「モナドってのは箱だ」みたいな話しなくて済むだけでも 俺にとっては十分有用です：応用 たまにモナドの議論をしてるときにモナド則の１，２は満たすけど３は満たさないような例だと どんな問題が起きるの？みたいな質問を得意げにする人がいるんだけど（皆さんは賢いので そんなことないでしょうけど）、圏論での意味論（の初歩だが）みたいなのを持ち出せば そういう筋の悪い質問なんかが湧いてこないだけでも有用かな。 あと、Haskellは表記方法がエレガントすぎてたまに型と値の理解がごっちゃになってるひとがいる。 そういう人への（あるいは自分への）リメディアルの議論のための良いバックグラウンドをあたえてくれるね。 本格的な表示意味論のほうは、帰納型が定義できるような圏をどうやって構成するかとかの話が中心だという 気がします。 Moggiがらみで一言付け加えれば、彼の論文にはラムダ計算のような「純粋な計算」を材料にして 「状態付きの計算」だとか「継続」のようなものをどうやって構築するかという話が整理されていて、 自分は無教養なので継続の話は理解できなかったが状態モナドは非常によくわかったし、 RWHでの話もよくわかるようになった。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch