データ型序説（Amazon.co.jp）
古本屋で見かけて、面白そうだったので即買い。
データ型だけを専門に扱った本であり、数多くのプログラミング言語を比較する「比較プログラミング言語論」の本でもある。
サンプルコードがAda風で、読むには慣れが要るという難点はあるが、中身は実に興味深い。
1990年刊（原著は1986年刊）と、もう20年も前の本だが、オブジェクト指向の要点はこの頃から変わっていないのだとわかる。
C# 2.0から取り入れられた匿名メソッドなんかも既に書いてあるのは驚いた。
また、（まだ読んでいないが）本の後半ではデータ型と数学の関係も論じられている。こういう本が欲しかったんだよ。
<宣伝>
よく利用する本屋さん：
プログラマ御用達 コンピュータ書籍専門オンライン古書店 電脳書房
</宣伝>