Hideyuki Tanaka @tanakh 完全な型推論よりも、型システムの表現力が重要である、という考えは多分OCamlとは相容れない。そこがOCamlとHaskellの決定的な差であって、PureとかLazyとかの違いはそれに比べれば割りとどうでもいい。 2012-03-26 14:24:35 Jun Furuse 🐫🌴 @camloeba RT @tanakh 完全な型推論よりも、型システムの表現力が重要である、という考えは多分OCamlとは相容れない。そこがOCamlとHaskellの決定的な差であって、PureとかLazyとかの違いはそれに比べれば割りとどうでもいい。 2012-03-26 14:36:35
![HaskellとOCamlの型の違い](https://cdn-ak-scissors.b.st-hatena.com/image/square/57a6a939280271668bee6ee1efc0ab0d7a0de716/height=288;version=1;width=512/https%3A%2F%2Fs.togetter.com%2Fogp2%2F27038885e2e4b5a0f6874bff1e4a568b-1200x630.png)