出版社内容情報
【解説】
いろいろなプログラミング言語のデータ型を比較・対照して，言語論を展開する。
【目次】
データ型の概説（原始型，集成型他）・データ型の問題点（型検査他）・データの抽象化（抽象データ型他）・データ型の仕様他
内容説明
本書は、プログラム言語におけるデータ型に、様々な角度から光を当て、プログラマが身につけるべき基本的な事項を明らかにしてくれる。
目次
第１部 データ型の概説（原始型；集成型；他の型）
第２部 データ型の問題点（型検査；型検査の例；値・変数・記憶場所）
第３部 データの抽象化（抽象データ型；抽象データ型の例；多相）
第４部 データ型の仕様（仕様；データ型の数学；代数型仕様）
