我刚刚开始学习 lisp 的方言(球拍),我想知道是否有人有链接或可以指出我的 lisp 语言家族的理论基础,资源是指论文、文章或书籍你能想到的任何东西。
最好表明它使用了哪些数学概念,它如何构造它的运算符,它如何解析它们,统一身份等等。我在 wikipedia 中阅读了SEXP,但我觉得它有点肤浅。
我对基金会很感兴趣,因为我喜欢能够向他人解释事物是如何运作的。
提前致谢。
我还将 Landin 的“The Next 700 Programming Languages”添加到此列表中;McCarthy 揭示了程序解释其他程序的概念,Landin 展示了相同的理论框架如何被视为几乎所有编程语言的基础。
事实上,我认为将类 LISP 语言的理论简单地说成是……编程语言的理论并不是没有道理的。
Paul Graham 有一些关于 Lisp 历史的不错的迷你文章:http: //www.paulgraham.com/lisp.html
不要错过 Guy Steele 和 Gerald Sussman 的原始 lambda 论文。