标签：
原作名:Types and Programming Languages
作者：Benjamin C. Pierce
出版年月：2020-02-20 …
页数： 528页
最新访问：2020-03-14 …
网友评分：
经典好书《型システム入門 −プログラミング言語と型の理論−》读书内容简介:/p>型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Program...
详情
