ML(Programming Language)

最近MLに興味があります。最新コンパイラ構成技法(Modern Compiler Implementation in MLの和訳本)を読んでるからというのもあるのですが、それとは別に型についてつらつらと考えていくとMLにあたることがままあったものですから。