学习PLT的书籍

---

把SICP列入PLT之类肯定是不适合的，真正的PLT需要的基础就很多了，包括：Lambda、Semantics、Category、Domain theory等等。入门都不知道怎么入......

这本书看看吧：https://book.douban.com/subject/1761910/ ，libgen有下载，可以顺便搜索一下这个作者的其他书。不容易的一本书。

这本就容易一点：https://book.douban.com/subject/2587705/ ， 但是感觉是“到喉不到肺”，看看有什么概念是可以的。之前有引进版，现在不知道是否可以买到。

@bintou 第二个链接的Markdown好像写错了？

好……那就试试水TAPL

@诟屍 在我的Q群共享了，其中有一本12年出的第10版的Concepts of programming languages-Pearson ，也许可以看看。