出版書誌データベース

※この電子書籍は紙版書籍のページデザインで制作した固定レイアウトです。

型システムを理解するうえでの定番書を翻訳
型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”（TAPL）を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。

日本語版に寄せて
監訳者序文
実用的情報

序文
謝辞

第1章　はじめに
第2章　数学的準備

■第1部　型無しの計算体系

第3章　型無し算術式
第4章　算術式のML実装
第5章　型無しラムダ計算
第6章　項の名無し表現
第7章　ラムダ計算のML実装

■第2部　単純型

第8章　型付き算術式
第9章　単純型付きラムダ計算
第10章　単純型のML実装
第11章　単純な拡張
第12章　正規化
第13章　参照
第14章　例外

■第3部　部分型付け

第15章　部分型付け
第16章　部分型付けのメタ理論
第17章　部分型付けのML実装
第18章　事例：命令的オブジェクト
第19章　事例：Featherweight Java

■第4部　再帰型

第20章　再帰型
第21章　再帰型のメタ理論

■第5部　多相性

第22章　型再構築
第23章　全称型
第24章　存在型
第25章　System F のML実装
第26章　有界量化
第27章　事例：命令的オブジェクト再考
第28章　有界量化のメタ理論

■第6部　高階の型システム

第29章　型演算子とカインド
第30章　高階多相
第31章　高階部分型付け
第32章　事例：純粋関数的オブジェクト

付録A　演習の解答
付録B　記法

参考文献
訳語集
規則図一覧
索引