3

我刚刚开始学习 lisp 的方言(球拍),我想知道是否有人有链接或可以指出我的 lisp 语言家族的理论基础,资源是指论文、文章或书籍你能想到的任何东西。

最好表明它使用了哪些数学概念,它如何构造它的运算符,它如何解析它们,统一身份等等。我在 wikipedia 中阅读了SEXP,但我觉得它有点肤浅。

我对基金会很感兴趣,因为我喜欢能够向他人解释事物是如何运作的。

提前致谢。

4

6 回答 6

7

你可以从头开始:http ://www-formal.stanford.edu/jmc/recursive.html

于 2012-08-30T23:03:40.483 回答
6

http://library.readscheme.org

http://en.wikipedia.org/wiki/Lisp_in_Small_Pieces

于 2012-08-30T23:15:30.860 回答
3

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

事实上,我认为将类 LISP 语言的理论简单地说成是……编程语言的理论并不是没有道理的。

于 2012-08-30T23:43:34.117 回答
2

Paul Graham 有一些关于 Lisp 历史的不错的迷你文章:http: //www.paulgraham.com/lisp.html

于 2012-08-31T00:45:56.017 回答
1

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

  • “Lambda:终极命令”
  • “Lambda:终极宣言”
  • “Lambda:终极 GOTO”
于 2012-09-02T10:25:46.227 回答
0

这里有几个链接:

艾伦和达加特的 Lisp Primer

Lisp 教程

于 2012-08-30T23:02:08.227 回答