読者です 読者をやめる 読者になる 読者になる

型を書く話

mixiOCamlコミュニティより。

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

それはそれとして、

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

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

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

※あ、もうあるのか…

http://d.hatena.ne.jp/wpw/20051118/1132325368