2006-01-24 純粋型推論言語 プログラミング OCamlにも「純粋」という冠をつけたいなあと思って、上の言葉を作ってみました。 最近は、補助的に型推論を持つ言語も登場してきたことだし、そういう言葉があってもいいかもしれない。 純粋型推論言語 ml, OCaml, Haskell, Concurrent Clean