第12回 「型推論」の実装法型推論：「コンピュータ以前」からML，Java 7まで OCamlをはじめ，MLやHaskellなど，多くの型付き関数型言語には型推論という機能がある。この連載でも，暗に陽に，OCamlの型推論機能を利用してきた。 例えば，以下のような関数say_hello_toを定義してみよう。文字列引数nameを受け取り，nameの前に定数文字列"hello "を付け加えて返す，という関数だ。 # let say_hello_to name = "hello " ^ name ;; val say_hello_to : string -> string = <fun> このように，引数や返り値の型を指定しなくても，say_hello_toはstring ->string型（文字列を受け取り，文字列を返す関数）であると自動推論される。 ただし，（例えばプログラムを読みやすくするために）もし型を書きたけれ
