Lisp的理论基础

时间:2012-08-30 22:51:07

标签: lisp racket language-theory

我刚刚开始学习lisp(Racket)的方言,我想知道是否某个人有链接或者可以通过资源指出我对lisp语言家族的理论基础我指的是你能想到的任何文件,文章或书籍。

最好指出它使用的数学概念如何构造运算符,如何解析它们,统一身份等。我读过维基百科中的SEXP,但我觉得它有点浅薄。

我对基金会很感兴趣,因为我希望能够解释事情对他人的影响。

提前致谢。

6 个答案:

答案 0 :(得分:7)

答案 1 :(得分:6)

答案 2 :(得分:3)

我还要将Landin的“The Next 700 Programming Languages”添加到此列表中;在McCarthy揭示了解释其他程序的程序概念的情况下,Landin展示了如何看待相同的理论框架几乎是所有编程语言的基础。

事实上,我认为类似LISP的语言理论只是......编程语言理论并不是不合理的。

答案 3 :(得分:2)

Paul Graham在Lisp的历史上有一些很好的迷你文章:http://www.paulgraham.com/lisp.html

答案 4 :(得分:1)

不要错过Guy Steele和Gerald Sussman的原始lambda论文。

  • “Lambda:终极势在必行”
  • “Lambda:终极宣言”
  • “Lambda:The Ultimate GOTO”

答案 5 :(得分:0)