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

[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

67(1): 2011/10/10(月)11:34:39.46 AAS
HaskellよりCのほうが難しいと言ってる人は大抵
どっちの言語でもHallo Worldくらいのプログラムしか書けない

213: 2011/10/21(金)22:00:15.46 AAS
確かに長々と書いたC++のコードが一発でコンパイル通った時くらい眉唾だな

454(1): 2011/11/10(木)22:16:47.46 AAS
>>453
大抵の場合は、自分で作る関数の型さえ決めれば型推論で自動的に全ての型が決まるんだよ
それだけで決まらないこともときどきあって、(^)はそれを発生させる例の筆頭

584(1): 2011/11/18(金)12:51:48.46 AAS
>>582
GLUT必須みたいだけど、入ってる？
HaskellじゃなくてOS側に。

655: 2011/12/04(日)00:30:55.46 AAS
>>653
早朝からそれしか書くことないのか

674: 665 2011/12/09(金)19:30:51.46 AAS
>>668
ありがとうございます。

929: 2012/01/01(日)22:39:50.46 AAS
うーん。そうとも限らないよ。
やみくもに理解･学習しようとするだけでなく、理解･学習に値する事か
どうかも時々気にしておいた方がいいよ。

949: 2012/01/02(月)11:37:17.46 AAS
>>945
それ、MonadどころかLISPのS式の時点で示されてるじゃんｗ

969: 2012/01/02(月)16:34:00.46 AAS
>>953
それはスーフリの方。
>>959
do表記は手続きっぽくなるから、スパゲティーメイカーになりやすいかも。
スパゲティーにするならせめてカルボナーラかミートソースにしてくれよ。

977: 2012/01/02(月)18:33:35.46 AAS
>>975
ある一つの性質から全体の性質が定まることで、
モナドの場合はそれが入れ子状になっている、ようだ。
正直そんな説明できるほどわかってない。