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

関数型プログラミング言語Haskell Part32 http://mevius.5ch.net/test/read.cgi/tech/1548720347/

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

---

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

---

931: デフォルトの名無しさん [sage] 2020/01/03(金) 13:53:52.89 ID:biPe5Zol g . f がだめな理由は型なので fun<A, B> g; fun<C, fun<D, A> > f; このような型を宣言できる任意の言語に同じ問題がある また、他の言語で問題が解決されたらHaskellでも解決できる http://mevius.5ch.net/test/read.cgi/tech/1548720347/931

932: デフォルトの名無しさん [sage] 2020/01/03(金) 14:08:31.95 ID:EVicjzWY >>931 g :: b -> c f :: a1 -> a2 -> b に対して (.) :: (b -> c) -> (a -> b) -> a -> c の a を a1 -> a2 と解釈してくれれば話が速いんだけどね a1 -> a2 -> b が実際には a1 -> (a2 -> b) で要は(->)が右結合だから駄目なのよね http://mevius.5ch.net/test/read.cgi/tech/1548720347/932

---

ﾒﾓ帳

(0/65535文字)

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.039s