初始类型系统理论的书籍

Question

我想研究类型系统理论.我没有类型系统理论的任何背景,所以我或多或少是一个初学者(除了我读过的关于这个主题的文章,我发现由于使用的符号而令人生畏).什么是可以让我入门的好书？我正在看Benjamin C. Pierce的"类型和编程语言"一书.这适合初学者还是太难？如果我开始学习还能用什么其他东西太难了？

谢谢,

-

干杯,亚历克斯

Answer 1

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

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

你会看到你所看到的文章中使用的很多符号,但是在使用它之前会对符号进行解释,所以它应该不是问题.一旦你知道它的含义^1,就没有任何令人生畏的记谱.

¹这些事情经常出现这种情况.有时我认为大多数数学和正式计算机科学都是为简单的事物发明了可怕的符号,所以没有受过教育的群众并没有意识到这一切是多么容易.