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

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

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

544(2): デフォルトの名無しさん [sage] 2011/11/14(月) 21:40:08.83 AAS
>>543

543(2): デフォルトの名無しさん [sage] 2011/11/14(月) 21:34:31.55 AAS
証明するより、プログラムのが楽しいというのもあるし、、、

証明するつもりなかったんだけどね…
単に＋演算子と同じもの作りたかっただけだったのに、自然数から定義しなおす羽目になって、それがHaskellで動くもんだから、興奮しちゃうという…

546(1): デフォルトの名無しさん [sage] 2011/11/14(月) 22:09:25.28 AAS
出番だ、>544

552: デフォルトの名無しさん [さげ] 2011/11/14(月) 22:58:13.53 AAS
>>539-544
窓ガラスぶち壊してくれてありがとう

汚れたスレになったから書き込みやすくなったよ

またよろしく