[過去ログ] 関数型プログラミング言語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で動くもんだから、興奮しちゃうという…
1-
あと 434 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.013s