型システム入門 −プログラミング言語と型の理論−
豆瓣
ISBN: 9784274069116
作者:
Benjamin C. Pierce
出版社: オーム社
发行时间: 2013
-3
装订: 単行本（ソフトカバー）
价格: JPY 7344
页数: 528
Types and Programming Languages
Benjamin C. Pierce
简介
型システムを理解するうえでの定番書を翻訳!
型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages"を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。
