型を書く話 - soutaroブログ

mixiのOCamlコミュニティより。

まず、わたしゃ書きません。.mliも書きません。openするのもめんどくさがる人間ですよ?書いてられるか、めんどくせえ。

それはそれとして、

しかし、型を書かないことによって、本当に型が間違っている箇所と違う箇所が型エラーとして示されることがあり、実は型を書く方がいいんじゃないかという議論が、近頃僕の周りで起こっています。

という感覚は面白いと思った。

「本当に型が間違っている箇所を示す型推論アルゴリズム」なんてあると面白いかも。

※あ、もうあるのか…