学习编程语言理论

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

但是，随着我的深入研究，如果没有适当的解释，演算，类别理论和指称语义之类的东西将有些难以理解。$\lambda$

我读过SICP（相当有启发性的书），但我希望深入研究函数式编程理论。是否有书籍/博客/站点/您的名字可以从头开始讨论功能编程语言的理论？

考虑到 -calculus 的指称语义的书来来并不容易。一种可能性是：$\lambda$

1. 罗伯托·阿马迪奥（Roberto M.Amadio）和皮埃尔·路易斯·居里安（Pierre-Louis Curien）：领域和Lambda- Calculi

类型理论的帐户更容易掌握：

1. 鲍勃·哈珀（Bob Harper），《编程语言实用基础》（也有印刷版）。
2. 本杰明·皮尔斯（Benjamin Pierce），类型和编程语言。
3. 弗兰克·芬宁（Frank Pfenning）的《计算与演绎》课程，我认为他还出版了同名书。

一个旧问题的新答案。您可能对Bartosz Milewski的“ 程序员分类理论”感兴趣。一般来说，您可以查看Bartosz Milewski的Programming Cafe博客。

这些书具有很高的评价，并涉及不同的科学界：

Simon Thompson的类型理论和函数编程。

计算机程序的结构和解释