blocks|key|2343336|text|您可以从头开始：http://www-formal.stanford.edu/jmc/recursive.html|type|unstyled|depth|inlineStyleRanges|entityRanges|offset|length|data|2343337|entityMap|0|LINK|mutability|MUTABLE|url|http://www-formal.stanford.edu/jmc/recursive.html^0|8|1D|0|0^^$0|@$1|2|3|4|5|6|7|L|8|@]|9|@$A|M|B|N|1|O]]|C|$]]|$1|D|3|-4|5|6|7|P|8|@]|9|@]|C|$]]]|E|$F|$5|G|H|I|C|$J|K]]]]

You could start at the beginning: <a href="http://www-formal.stanford.edu/jmc/recursive.html">http://www-formal.stanford.edu/jmc/recursive.html</a>

blocks|key|4302575|text|http://library.readscheme.org|type|unstyled|depth|inlineStyleRanges|entityRanges|offset|length|data|4302576|http://en.wikipedia.org/wiki/Lisp_in_Small_Pieces|4302577|entityMap|0|LINK|mutability|MUTABLE|url|http://library.readscheme.org/|1^0|0|T|0|0|0|1D|1|0^^$0|@$1|2|3|4|5|6|7|O|8|@]|9|@$A|P|B|Q|1|R]]|C|$]]|$1|D|3|E|5|6|7|S|8|@]|9|@$A|T|B|U|1|V]]|C|$]]|$1|F|3|-4|5|6|7|W|8|@]|9|@]|C|$]]]|G|$H|$5|I|J|K|C|$L|M]]|N|$5|I|J|K|C|$L|E]]]]

<a href="http://library.readscheme.org">http://library.readscheme.org</a>

<a href="http://en.wikipedia.org/wiki/Lisp_in_Small_Pieces">http://en.wikipedia.org/wiki/Lisp_in_Small_Pieces</a>

blocks|key|4212848|text|我还想把兰丁的“下一个700种编程语言”加到这个列表中；McCarthy揭示了解释其他程序的程序的概念，兰丁展示了几乎所有编程语言都不能理解相同的理论框架。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|4212849|事实上，我认为认为LISP类语言的理论是简单的…编程语言的理论。|4212850|entityMap^0|0|0^^$0|@$1|2|3|4|5|6|7|F|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|G|8|@]|9|@]|A|$]]|$1|D|3|-4|5|6|7|H|8|@]|9|@]|A|$]]]|E|$]]

I would also add Landin's "The Next 700 Programming Languages" to this list; where McCarthy reveals the notion of programs interpreting other programs, Landin shows how the same theoretical framework can be seen to underly nearly all programming languages. 

In fact, I think it's not unreasonable to suggest that the theory of LISP-like languages is simply... the theory of programming languages.

blocks|key|4302663|text|Paul+Graham有一些很好的关于Lisp历史的迷你文章：http://www.paulgraham.com/lisp.html|type|unstyled|depth|inlineStyleRanges|entityRanges|offset|length|data|4302664|entityMap|0|LINK|mutability|MUTABLE|url|http://www.paulgraham.com/lisp.html^0|V|Z|0|0^^$0|@$1|2|3|4|5|6|7|L|8|@]|9|@$A|M|B|N|1|O]]|C|$]]|$1|D|3|-4|5|6|7|P|8|@]|9|@]|C|$]]]|E|$F|$5|G|H|I|C|$J|K]]]]

Paul Graham has some nice mini-articles on the history of Lisp: <a href="http://www.paulgraham.com/lisp.html" rel="nofollow">http://www.paulgraham.com/lisp.html</a>

blocks|key|4302688|text|不要错过Guy+Steele和Gerald+Sussman的lambda原始论文。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|4302689|“终极之旅:终极之旅，终极之旅”(+The+Ultimate+Imperative"|4302690|"Lambda:+Declarative"|unordered-list-item|4302691|
|4302692|"Lambda：+Ultimate+)|4302693|4302694|entityMap^0|0|0|0|0|0|0^^$0|@$1|2|3|4|5|6|7|N|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|O|8|@]|9|@]|A|$]]|$1|D|3|E|5|F|7|P|8|@]|9|@]|A|$]]|$1|G|3|H|5|6|7|Q|8|@]|9|@]|A|$]]|$1|I|3|J|5|F|7|R|8|@]|9|@]|A|$]]|$1|K|3|-4|5|6|7|S|8|@]|9|@]|A|$]]|$1|L|3|-4|5|6|7|T|8|@]|9|@]|A|$]]]|M|$]]

Don't miss the original lambda papers by Guy Steele and Gerald Sussman.

<ul>
<li>"Lambda: The Ultimate Imperative"</li>
<li>"Lambda: The Ultimate Declarative"</li>
<li>"Lambda: The Ultimate GOTO"</li>
</ul>

blocks|key|4212758|text|这里有几个链接：|type|unstyled|depth|inlineStyleRanges|entityRanges|data|4212759|Lisp+Primer+by+Allen+and+Dhagat|offset|length|4212760|Lisp+Tutorial|4212761|entityMap|0|LINK|mutability|MUTABLE|url|http://mypage.iu.edu/~colallen/lp/|1|http://logic.stanford.edu/classes/cs157/2004/programming/lisp.pdf^0|0|0|V|0|0|0|D|1|0^^$0|@$1|2|3|4|5|6|7|R|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|S|8|@]|9|@$D|T|E|U|1|V]]|A|$]]|$1|F|3|G|5|6|7|W|8|@]|9|@$D|X|E|Y|1|Z]]|A|$]]|$1|H|3|-4|5|6|7|10|8|@]|9|@]|A|$]]]|I|$J|$5|K|L|M|A|$N|O]]|P|$5|K|L|M|A|$N|Q]]]]

Here are a couple links:

<a href="http://mypage.iu.edu/~colallen/lp/" rel="nofollow">Lisp Primer by Allen and Dhagat</a>

<a href="http://logic.stanford.edu/classes/cs157/2004/programming/lisp.pdf" rel="nofollow">Lisp Tutorial</a>

I've just started learning a dialect of lisp (<a href="http://racket-lang.org/" rel="nofollow">Racket</a>) and I'd like to know if some one has a link or can point me to the theoretical foundations of the family of lisp languages, by resources I mean papers, articles or books anything that you could think of.

Preferably indicating which mathematical concepts it uses how it constructs it operators, how it resolves them,unifies identities etcetera. I'v read the <a href="https://en.wikipedia.org/wiki/S-expression" rel="nofollow">SEXP</a> in wikipedia but I find it a bit shallow.

I'm interested in the foundations because I like to be able to explain how things work to others .

Thanks in advance.

Theoretical foundations of Lisp

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

我刚刚开始学习lisp的一种方言()，我想知道是否有人有链接，或者可以给我指出lisp语言家族的理论基础，这里的资源我指的是你能想到的任何论文、文章或书籍。最好指出它使用了哪些数学概念，如何构造运算符，如何解析它们，统一恒等式等。我在维基百科上读过，但我发现它有点肤浅。我对基础很感兴趣，因为我喜欢向别人解释事物是如何工作的。提前谢谢。

问Lisp的理论基础
EN

回答 6

Stack Overflow用户

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问Lisp的理论基础EN

回答 6

Stack Overflow用户

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问Lisp的理论基础
EN