Lisp的理论基础

Lisp的理论基础,lisp,racket,language-theory,Lisp,Racket,Language Theory,我刚刚开始学习lisp()的一种方言,我想知道是否有人能帮我找到lisp语言家族的理论基础,我所说的资源是指论文、文章或书籍,你能想到的任何东西 最好指出它使用哪些数学概念,如何构造它的运算符,如何解析它们,统一身份等。我在维基百科上读过这篇文章,但我觉得有点肤浅 我对基础感兴趣,因为我喜欢向别人解释事情是如何运作的 提前谢谢 这里有几个链接: 你可以从头开始: 我还想将兰丁的“下一代700种编程语言”添加到此列表中;在麦卡锡揭示程序解释其他程序的概念的地方,兰丁展示了几乎所有编程语言的基础都

我刚刚开始学习lisp()的一种方言,我想知道是否有人能帮我找到lisp语言家族的理论基础,我所说的资源是指论文、文章或书籍,你能想到的任何东西

最好指出它使用哪些数学概念,如何构造它的运算符,如何解析它们,统一身份等。我在维基百科上读过这篇文章,但我觉得有点肤浅

我对基础感兴趣,因为我喜欢向别人解释事情是如何运作的


提前谢谢

这里有几个链接:


你可以从头开始:

我还想将兰丁的“下一代700种编程语言”添加到此列表中;在麦卡锡揭示程序解释其他程序的概念的地方,兰丁展示了几乎所有编程语言的基础都是相同的理论框架


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

保罗·格雷厄姆(Paul Graham)有一些关于Lisp历史的精彩小文章:

不要错过盖伊·斯蒂尔(Guy Steele)和杰拉尔德·苏斯曼(Gerald Sussman)的原始lambda论文

  • “Lambda:终极命令”
  • “Lambda:最终的声明”
  • “Lambda:终极的GOTO”

你以秒数击败了我。这将是我在接受答案后的第二次阅读,谢谢!!