2006-09-17 型推論 そういや型はあるけど書かなくていいです。なんかわけのわからんエラーが出たら書くといい気がします。 let rec print_decrement (x : int) : unit =とか書くと型を明示的に書けます。そういえば型推論ある言語ってリファクタリングしやすくないですか。関数の引数の型をイチイチ変えていく手間が無いし、でも型エラーはキチンと出るし。つまり OCaml は XP 向け言語ということになります。