欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Lisp
来自开放百科 - 灰狐
（版本间的差异）
小 (→项目) |
小 (→链接) |
||
| 第22行： | 第22行： | ||
*[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://www.ituring.com.cn/article/553 田春：走在Lisp的岔路上（图灵访谈）] | *[http://www.ituring.com.cn/article/553 田春：走在Lisp的岔路上（图灵访谈）] | ||
| + | *[http://tianchunbinghe.blog.163.com/blog/static/70012009222374381/ Lisp 宣言] | ||
*[http://www.norvig.com/paip/README.html Lisp for Paradigms of AI Programming] | *[http://www.norvig.com/paip/README.html Lisp for Paradigms of AI Programming] | ||
*[http://aima.cs.berkeley.edu/lisp/doc/overview.html Overview of AIMA Lisp Code] | *[http://aima.cs.berkeley.edu/lisp/doc/overview.html Overview of AIMA Lisp Code] | ||
2015年4月5日 (日) 02:08的版本
|
您可以在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 宣言
- Lisp for Paradigms of AI Programming
- Overview of AIMA Lisp Code
- Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp
<discussion>characters_max=300</discussion>
分享您的观点
