soutaroのHaskellにっき

2006-07-06

Haskell型推論は完全? Haskellの型推論は完全? - soutaroのHaskellにっき を含むブックマーク はてなブックマーク - Haskellの型推論は完全? - soutaroのHaskellにっき

ML型推論は完全である。

エラーなく実行できるプログラムは、必ず型推論できる

というのが「型推論が完全」の意味

OCaml型推論も完全。

Haskellはどうなんだろ?

Polymorphic Recursionは完全じゃなかったはず(型推論が止まらなくなることがある)なので、Haskellは完全じゃないのかな。