型システム入門 プログラミング言語と型の理論

型システム入門 プログラミング言語と型の理論 Benjamin C. Pierce(著), 住井英二郎(監訳), 遠藤侑介, 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男(訳) オーム社 7,480円 (6,800円+税) 関連サイト本書の関連ページが用意されています。 オーム社ウェブサイト内容紹介型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”（TAPL）を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。 書誌情報 著者: Benjamin C. Pierce(著),

[temmings]

うっかり流れで買ってしまったが、読みきれる自信がない

[todesking]

型システム入門、達人出版会でも買えるっぽい(なぜかオーム社より安い)

[Kureduki_Maari]

@public_ai000ya .｡oO(っ PDF)