欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Lisp
来自开放百科 - 灰狐
（版本间的差异）
小 (→链接) |
小 (→链接) |
||
| 第21行： | 第21行： | ||
*[http://en.wikipedia.org/wiki/Category:Lisp_programming_language_family Lisp programming language family] | *[http://en.wikipedia.org/wiki/Category:Lisp_programming_language_family Lisp programming language family] | ||
*[http://book.huihoo.com/common-lisp-the-language-2nd-edition/clm.html Common Lisp the Language, 2nd Edition] | *[http://book.huihoo.com/common-lisp-the-language-2nd-edition/clm.html Common Lisp the Language, 2nd Edition] | ||
| + | *[http://blog.youxu.info/2009/08/31/lisp-and-ai-1/ LISP 语言是怎么来的–LISP 和 AI 的青梅竹马 A] | ||
| + | *[http://blog.youxu.info/2010/02/10/lisp-and-ai-2/ LISP 语言是怎么来的–LISP 和 AI 的青梅竹马 B] | ||
*[http://lfe.io/ Lisp Flavored Erlang] | *[http://lfe.io/ Lisp Flavored Erlang] | ||
*[http://www.ituring.com.cn/article/553 田春：走在Lisp的岔路上（图灵访谈）] | *[http://www.ituring.com.cn/article/553 田春：走在Lisp的岔路上（图灵访谈）] | ||
2015年8月2日 (日) 05:35的版本
|
您可以在Wikipedia上了解到此条目的英文信息 Lisp Thanks, Wikipedia. |
LISP即LISt Processor，也就是链表处理器，由约翰·麦卡锡在1960年左右创造的一种基于λ演算的函数式编程语言。
Lisp 是一门可编程的编程语言 (Lisp is a programmable programming language)
方言
- Common Lisp是LISP的最大集
- Scheme是LISP的最小集
- Emacs Lisp
- EuLisp
- Parallel Lisps
项目
链接
- Planet Lisp
- Lisp programming language family
- Common Lisp the Language, 2nd Edition
- LISP 语言是怎么来的–LISP 和 AI 的青梅竹马 A
- LISP 语言是怎么来的–LISP 和 AI 的青梅竹马 B
- Lisp Flavored Erlang
- 田春：走在Lisp的岔路上（图灵访谈）
- Lisp 宣言
- Lisp for Paradigms of AI Programming
- Overview of AIMA Lisp Code
- Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp
- 用lisp开发博客客户端
<discussion>characters_max=300</discussion>
分享您的观点
