型システム入門 サポートページTAPL 型システム入門 サポートページ Benjamin C. Pierce 著 住井英二郎 監訳 遠藤侑介・酒井政裕・今井敬吾・黒木裕介・今井宜洋・才川隆文・今井健男 共訳 ISBN 978-4-274-06911-6 Benjamin C. Pierce "Types and Programming Languages" の日本語版サポートサイトです。 ご質問・議論 書籍『型システム入門』（TAPL日本語版）の技術的内容や、型システム全般に関する、日本語での質問と議論は GitHub issues にお願いします（2023年9月以前の議論は Google グループ "taplkatasystem" を参照）。 正誤表 第1刷（第2刷で修正済） 定理15.3.5 の証明（p. 148）の「T-Subの場合」における結論の「Γ ⊢ t : T」は、正しくは「Γ ⊢ t' : T」です（原
