コンピュータプログラミングの概念・技法・モデル，読み終わった．この本はいろんなプログラミングモデルを順番に教えてくれるみたいな本で，宣言的な計算モデルから始まって，遅延評価がでてきてHaskellみたいになったり，ポート通信がでてきてErlangみたい…

お茶して帰らない？ - 人力検索はてな