osiire’s blog

ふしぎなそふとやさん

型は語る

OCamlで動いている、とあるバッチ系に障害発生。久しぶりなコードを追って日本語の処理の部分を一部変更して対処。疲れた。

ところで、Haskellでは関数の前に型を書く習慣があるけど、OCamlにはない。これは見習うべきだと思う。今回久しぶりのコードを追っていて、関数の前にコメントとして付けていたその関数の型がとても役立った。特に障害時だと素早く思い出せて嬉しい。コメントでいいので、今後は必ず主要な関数には型を書いておこうと思った。

# ま、-dtypesでもいいんですけどね。常にemacsがあるとも限らないので...。