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

[931 デフォルトの名無しさん 2020/01/03(金) 13:53:52.89 ID:biPe5Zol]

g . f がだめな理由は型なので
fun<A, B> g;
fun<C, fun<D, A> > f;
このような型を宣言できる任意の言語に同じ問題がある
また、他の言語で問題が解決されたらHaskellでも解決できる