研究编程语言理论

Question

最近，我对理解和证明（功能性）编程语言的方面非常感兴趣。

但是，随着我的深入研究，如果没有适当的解释，诸如$ lambda $ cyculus，类别理论和语义语义之类的东西很难掌握。

我读了SICP（一本启发性的书），但我希望更深入地研究功能编程理论。是否有任何书籍/博客/网站/you-name-it可以从头开始讨论功能编程语言的理论？

Answer 1

考虑到$ lambda $ -calculus的代表语义的书籍并不容易。一种可能性是：

1. Roberto M. Amadio和Pierre-Louis Curien： 域和lambda-calculi

类型理论帐户更容易获得：

1. 鲍勃·哈珀， 编程语言的实用基础 （也有一个 印刷版).
2. 本杰明·皮尔斯（Benjamin Pierce）， 类型和编程语言.
3. 弗兰克·普芬宁（Frank Pfenning）的课程 计算和推论, ，我认为他还出版了一本具有相同标题的书。

Answer 2

一个旧问题的新答案. 。您可能对 程序员的类别理论 Bartosz Milewski。更一般地，您可以看一下 Bartosz Milewski的编程咖啡馆 博客。

Answer 3

这些书的评级很高，并在不同的科学社区中出现：

Simon Thompson的类型理论和功能编程。

计算机程序的结构和解释