型を書く話

MLだと:なのにHaskellだと::でタイプ量が多いのは何でだろう、とか言ってみる。でもOCamlだとほとんど()をつけないといけなかったり。ちなみにICFPプログラミングコンテスト2004の裏方をやっていて「面倒だから.mliは書かない、っていうかデータ抽象は使わない」とか言ったらボスに叱られました(当たり前)。