OCaml面白そう

http://www.biocaml.org/~bannai/ocaml-intro/
id:shinichiro_h さんの所で知りました。OCamlという言語。
C++マニアとして一番熱いのは、templateに相当する多相型と型推論が組み合わさってシンプルな構文で書けるということ。まぁ、C++にもテンプレート関数を作った後に、引数の型から関数の実態を自動で生成する機能はありますが、OCamlの方が強力そうです。