scala

Scala関数型デザイン&プログラミング―Scalazコントリビューターによる関数型徹底ガイド

この本が基本的なとこから説明してくれてて、とてもよさそう。
他の言語(boostやcoq)でも存在したoption型の何がすぐれているとか、ちゃんと書いてあるようだ。

これから読む。