[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part4 (1001ﾚｽ)

関数型プログラミング言語Haskell Part4 http://echo.5ch.net/test/read.cgi/tech/1140717775/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

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

---

857: デフォルトの名無しさん [] 2006/05/19(金) 01:46:10 hugsでChurch数の計算をやろうとしてみた。 two f x = f (f x) three f x = f (f (f x)) dec n f x = n (g h->h (g f)) (_->x) (i->i) sub a b = b dec a と定義して、sub three twoを評価させると以下のエラー Main> sub three two ERROR - Type error in application *** Expression : sub three two *** Term : two *** Type : ((a -> e -> g) -> a -> e -> g) -> (a -> e -> g) -> a -> e -> g *** Does not match : ((((a -> b) -> (b -> c) -> c) -> (d -> e) -> (f -> f) -> g) -> a -> e -> g) -> (a -> e -> g) -> a -> e -> g *** Because : unification would give infinite type OCamlではこんな感じで対策してるけど、 http://ocaml.jp/archive/document/church.html Haskellではどうすればいいんだろ？ http://echo.5ch.net/test/read.cgi/tech/1140717775/857

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

あと 144 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.008s