入门类型系统理论书籍[关闭]答案

【问题标题】：Books for beginning type system theory [closed]入门类型系统理论书籍[关闭]
【发布时间】：2011-05-08 18:28:21
【问题描述】：

我想学习类型系统理论。我在类型系统理论方面没有任何背景，所以我或多或少是个初学者（除了我读过的关于这个主题的文章，因为使用的符号我觉得很吓人）。有哪些可以让我入门的好书？我在看 Benjamin C. Pierce 的“类型和编程语言”一书。这适合初学者还是太难了？如果太难了，我还能用什么来开始我的学习？

谢谢，

干杯，亚历克斯

【问题讨论】：

标签： types computer-science type-theory

【解决方案1】：

我认为类型和编程语言会是一个不错的选择。

当我第一次阅读 TaPL 时，我也是类型论的初学者，我并不觉得它太难理解。

你会看到很多你看到的文章中使用的符号，但是符号会在使用之前进行解释，所以它应该不是问题。一旦您知道它的含义，就没有什么令人生畏的符号了¹。

¹ 这些事情经常发生。有时我认为大多数数学和正式的计算机科学都是为简单的事物发明看起来很吓人的符号，所以没有受过教育的大众并没有意识到这一切真的很容易。

【讨论】：

发明符号意味着不必在 10 页的论文中写出相同的多词短语 100 次，从而将其增加到 20 或 30 页。例如，“≺”符号的意思是“是一个子类型”，一个 16 个字符长的短语。这不是晦涩难懂，而是能够完全传达信息。
@Novelocrat：我主要是在开玩笑。
感谢 sepp2k。开玩笑地说，我很想说同样的话:)。我将购买 TaPL 并开始阅读。

【解决方案2】：

TAPL 是一本难以理解的书，面向毕业生（可能还有博士生）。这当然不适合初学者。相反，我会推荐一本像 John C. Mitchell 的《编程语言概念》这样的书，旨在让本科生先熟悉基础知识。

【讨论】：

谢谢，但我只是类型系统理论的初学者 :) 我对编程语言并不陌生，我已经实现了相当多的解释器。只是我想更深入地了解事物的理论方面。