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」です(原