Scalaスケーラブルプログラミングを11章まで読んで、構文を多少理解したので、Monads in Scalaを読んだ。

要するにモナドはforに宿るってことでいいのかな。

bind [e1] (\v1 -> bind [e2] (\v2 -> unit(v1 + v2)))

というbindが出てきてこれはScalaのforだと。

for {v1 <- e1; v2 <- e2} yield v1 + v2

みたいな。

なるほどと思ったのであった。

Scalaスケーラブルプログラミング[コンセプト&コーディング] (Programming in Scala)
Martin Odersky,Lex Spoon、Bill Venners
インプレスジャパン / ￥ 4,830 ()
在庫あり。

Scalaはインタプリタが遅いのがたまに気になる。