我希望学习类型系统理论。我在类型系统理论方面没有任何背景，所以我可以说是一个初学者（除了我读过的文章，由于使用的符号而让我感到吓人）。有哪些好书可以帮助我入门？我看过本杰明·C·皮尔斯（Benjamin C. Pierce）的《类型与编程语言》一书。对于初学者来说，它是否适当？如果太难，还有什么其他东西可以帮助我开始学习？
谢谢，
--
祝好，Alex
2个回答
13
我认为《类型和编程语言》是一个很好的选择。
当我第一次阅读TaPL时，我也是一个类型理论的初学者，而且我并不觉得它太难理解了。
你会看到很多你看过的文章中使用的符号，但在使用之前，这些符号将被解释，所以应该不会有问题。一旦你知道了它的含义，这些符号就没有什么可怕的了1。
1 这在这些事情中经常是这样的。有时我认为大部分数学和形式计算机科学都是为简单的事情发明可怕的符号，这样未受教育的群众就不会意识到它们实际上是多么容易。
- sepp2k
3
4发明符号表示法是为了避免在10页纸上重复写下同样的多个单词短语100次，从而将纸张膨胀到20或30页。例如，“≺”符号表示“是...的子类型”，这是一个16个字符长的短语。这不是为了模糊其含义，而是为了更好地传达信息。 - Phil Miller
3@Novelocrat: 我当时大多是在开玩笑的。 - sepp2k
感谢sepp2k。开玩笑的话我也想说同样的话:）。我会买《类型与编程语言实现》并开始阅读它。 - Alex
4
TAPL是一本难以理解的书，面向研究生（可能是博士候选人）。它绝对不适合初学者。我建议先看适合本科生的John C. Mitchell的“编程语言概念”来了解基础知识。
- hishadow
1
谢谢，但我只是一个类型系统理论的初学者 :) 我对编程语言并不陌生，并且我已经实现了我的公平份额的解释器。只是我想更深入地了解理论方面的事情。 - Alex
网页内容由stack overflow 提供, 点击上面的可以查看英文原文，
原文链接
原文链接