ML勉強会開始 - FreeBSDな日々

3/1/2007
ＭＬ勉強会開始　
言語としては、Standard ML of New Jersyを用いる。
windows版もあるので、適宜、探してインストールしてください。

日本語の教科書としては、「Standard ML 入門」（大堀）がある。

型理論を学ぶ前に、とりあえず、関数型言語になれることから
出発する。