"Design Concepts in Programming Languages"がすごくいい。

"Design Concepts in Programming Languages"
この本はすごくいい。
そのわりにまだあまり話題になってないようだ。
おすすめしてくれたAmazon.comに感謝!

プログラミング言語の意味論とかCPS styleの話とか、oopの話とか、type systemの話とかモナドの話とか、
話題がとにかく豊富で、しかもmini languageを使っての説明がとてもわかりやすく面白い(っぽい。)

基本的になにが良いのか説明できるほどよくわかってないので
おすすめの理由は以下を参照。

http://www.haskell.org/pipermail/haskell-cafe/2009-April/060709.html
http://ztrek.blogspot.com/2008/08/recommended-read-design-concepts-in.html

載ってないのはConcurrencyの話題くらいかと思ったら、
Concurrency の話などは、http://dcpl.mit.edu/
のAdditional Materialsで提供される予定らしい。
これを使ったopen coursewareもあるのか。すごいな。