欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Lisp
来自开放百科 - 灰狐
（版本间的差异）
小 (→图集) |
小 (→文档) |
||
| （未显示1个用户的37个中间版本） | |||
| 第1行： | 第1行： | ||
{{SeeWikipedia|Lisp (programming language)}} | {{SeeWikipedia|Lisp (programming language)}} | ||
| + | Lisp | ||
| + | |||
| + | [[文件:lisp-logo.png|right]] | ||
| + | |||
| + | ==简介== | ||
LISP即LISt Processor，也就是链表处理器，由约翰·麦卡锡在1960年左右创造的一种基于λ演算的函数式编程语言。 | LISP即LISt Processor，也就是链表处理器，由约翰·麦卡锡在1960年左右创造的一种基于λ演算的函数式编程语言。 | ||
Lisp 是一门可编程的编程语言 (Lisp is a programmable programming language) | Lisp 是一门可编程的编程语言 (Lisp is a programmable programming language) | ||
| − | == | + | [https://www-formal.stanford.edu/jmc/index.html John McCarthy's Home Page] |
| + | |||
| + | In Lisp, code is data. | ||
| + | |||
| + | *[https://www.gnu.org/gnu/rms-lisp.html 我的 Lisp 经历和 GNU Emacs 的开发] | ||
| + | *[https://twobithistory.org/2018/10/14/lisp.html How Lisp Became God's Own Programming Language] Lisp 如何成为上帝赐予的编程语言 | ||
| + | *[https://lisp-journey.gitlab.io/pythonvslisp/ Python VS Common Lisp, workflow and ecosystem] | ||
| + | |||
| + | [https://github.com/azzamsa/awesome-lisp-companies/ Awesome Lisp Company] [[文件:awesome.png]] | ||
| + | |||
| + | Lisp, [[Smalltalk]], [https://medium.com/smalltalk-talk/lisp-smalltalk-and-the-power-of-symmetry-8bd96aaa0c0c and the Power of Symmetry] | ||
| + | |||
| + | ==新闻== | ||
| + | [[文件:lisp-logo-128.png|right|Lisp]] | ||
| + | *[https://planet.lisp.org/ Planet Lisp] | ||
| + | *[https://planet.scheme.org/ Planet Scheme] | ||
| + | *[https://racket-stories.com/ Racket Stories] | ||
| + | *[http://planet.clojure.in/ Planet Clojure] | ||
| + | *[http://www.plt-scheme.org/ PLT Scheme is now Racket] | ||
*2018，Lisp迎来60周年庆。 | *2018，Lisp迎来60周年庆。 | ||
| − | == | + | ==语言== |
[[文件:Lambda.jpg|right]] | [[文件:Lambda.jpg|right]] | ||
| + | *[https://www.cliki.net/Programming%20language Other programming languages implemented in Common Lisp] | ||
* [[Common Lisp]]是LISP的最大集 | * [[Common Lisp]]是LISP的最大集 | ||
* [[Scheme]]是LISP的最小集 | * [[Scheme]]是LISP的最小集 | ||
| 第16行： | 第40行： | ||
* EuLisp | * EuLisp | ||
* Parallel Lisps | * Parallel Lisps | ||
| + | *[[LFE]] | ||
| + | *[https://www.cliki.net/S-exp%20syntax s-exp syntax] 帮助你在 Lisp 中编写其他语言 [[DSL]] | ||
| + | *[https://github.com/haskell-lisp Haskell Lisp] and Lisp Projects for [[Haskell]] | ||
| + | *[https://github.com/kiselgra/c-mera C-Mera] Next-level syntax for C-like languages :) | ||
| + | *[https://github.com/fukamachi/sxql SxQL] An SQL generator for Common Lisp. | ||
| + | *[https://github.com/bajdcc/cliblisp Simple Lisp VM(C++ 14)] C++ 简易LISP解释器 + 通用LR语法分析 | ||
==项目== | ==项目== | ||
| + | [[文件:lisp-logo-120x80.png|right]] | ||
| + | *[https://www.cliki.net/ CLiki] is a [[Common Lisp]] | ||
| + | *[https://github.com/kanaka/mal mal] Make a Lisp | ||
*[[Racket]] | *[[Racket]] | ||
| + | *[[Mezzano]] | ||
*[[Lispbox]] | *[[Lispbox]] | ||
*[[CommonQt]] | *[[CommonQt]] | ||
| 第24行： | 第58行： | ||
*[[Maxima]] | *[[Maxima]] | ||
*[https://github.com/joxa/joxa joxa] A Modern Lisp for the [[Erlang VM]] | *[https://github.com/joxa/joxa joxa] A Modern Lisp for the [[Erlang VM]] | ||
| + | *[https://ferret-lang.org/ Ferret] for real time embedded control systems | ||
| + | *[https://github.com/carld/micro-lisp Micro Lisp] implement a small Lisp/Scheme language in as little C code as possible (200 lines of C) | ||
| + | *[https://wiki.ros.org/roslisp Roslisp] Lisp client library for [[ROS]] | ||
| + | *[https://github.com/lispgames/lispgames.github.io/wiki Lisp Games] | ||
| + | *[http://www.ulisp.com/ uLisp] Lisp for microcontrollers | ||
| + | *[https://github.com/clojure-lsp/clojure-lsp Language Server (LSP) for Clojure] [https://langserver.org/ Language Server Protocol] | ||
| + | *[https://github.com/jeapostrophe/racket-langserver racket-langserver] | ||
| + | *[https://github.com/rui314/minilisp MiniLisp] A readable lisp in less than 1k lines of [[c programming language|C]] | ||
| + | *[https://github.com/quicklisp/ Quicklisp] is a library manager for Common Lisp. | ||
| + | *[https://github.com/fukamachi/qlot Qlot] A project-local library installer for Common Lisp | ||
| + | *[https://github.com/ultralisp/ultralisp Ultralisp] The software behind a [https://ultralisp.org/ Ultralisp.org] Common Lisp repository | ||
==文档== | ==文档== | ||
*[http://docs.huihoo.com/erlang/conference/euc2016/LFE-A-Real-Lisp-in-the-Erlang-Ecosystem.pdf LFE - a real lisp in the Erlang ecosystem] | *[http://docs.huihoo.com/erlang/conference/euc2016/LFE-A-Real-Lisp-in-the-Erlang-Ecosystem.pdf LFE - a real lisp in the Erlang ecosystem] | ||
| + | *[https://github.com/LispCookbook/cl-cookbook The Common Lisp Cookbook] | ||
| + | |||
| + | ==图书== | ||
| + | *[https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours Write Yourself a Scheme in 48 Hours] use [[Haskell]] | ||
==图集== | ==图集== | ||
<gallery> | <gallery> | ||
| + | image:lisp-Dialects-Alignment.jpeg|Lisp方言 | ||
| + | image:Mal-Metadata-Self-hosting-and-Interop.png|REPL | ||
image:Timeline-of-Lisp-dialects.png|Timeline | image:Timeline-of-Lisp-dialects.png|Timeline | ||
| − | image: | + | image:Lisp-Flavored-Erlang-LFE.png |LFE logo |
</gallery> | </gallery> | ||
| 第48行： | 第99行： | ||
*[http://codemacro.com/2011/03/13/lisp-writer/ 用lisp开发博客客户端] | *[http://codemacro.com/2011/03/13/lisp-writer/ 用lisp开发博客客户端] | ||
*[http://www.infoq.com/cn/articles/lisp-for-jvm 探索JVM上的Lisp] | *[http://www.infoq.com/cn/articles/lisp-for-jvm 探索JVM上的Lisp] | ||
| − | |||
| − | |||
[[category:programming language]] | [[category:programming language]] | ||
| 第57行： | 第106行： | ||
[[category:artificial intelligence]] | [[category:artificial intelligence]] | ||
[[category:lambda]] | [[category:lambda]] | ||
| + | [[category:Huihoo Foundation]] | ||
2024年12月28日 (六) 13:30的最后版本
|
您可以在Wikipedia上了解到此条目的英文信息 Lisp Thanks, Wikipedia. |
Lisp
目录 |
[编辑] 简介
LISP即LISt Processor，也就是链表处理器，由约翰·麦卡锡在1960年左右创造的一种基于λ演算的函数式编程语言。
Lisp 是一门可编程的编程语言 (Lisp is a programmable programming language)
In Lisp, code is data.
- 我的 Lisp 经历和 GNU Emacs 的开发
- How Lisp Became God's Own Programming Language Lisp 如何成为上帝赐予的编程语言
- Python VS Common Lisp, workflow and ecosystem
Lisp, Smalltalk, and the Power of Symmetry
[编辑] 新闻
- Planet Lisp
- Planet Scheme
- Racket Stories
- Planet Clojure
- PLT Scheme is now Racket
- 2018，Lisp迎来60周年庆。
[编辑] 语言
- Other programming languages implemented in Common Lisp
- Common Lisp是LISP的最大集
- Scheme是LISP的最小集
- Emacs Lisp
- Clojure
- EuLisp
- Parallel Lisps
- LFE
- s-exp syntax 帮助你在 Lisp 中编写其他语言 DSL
- Haskell Lisp and Lisp Projects for Haskell
- C-Mera Next-level syntax for C-like languages :)
- SxQL An SQL generator for Common Lisp.
- Simple Lisp VM(C++ 14) C++ 简易LISP解释器 + 通用LR语法分析
[编辑] 项目
- CLiki is a Common Lisp
- mal Make a Lisp
- Racket
- Mezzano
- Lispbox
- CommonQt
- Postmodern
- Maxima
- joxa A Modern Lisp for the Erlang VM
- Ferret for real time embedded control systems
- Micro Lisp implement a small Lisp/Scheme language in as little C code as possible (200 lines of C)
- Roslisp Lisp client library for ROS
- Lisp Games
- uLisp Lisp for microcontrollers
- Language Server (LSP) for Clojure Language Server Protocol
- racket-langserver
- MiniLisp A readable lisp in less than 1k lines of C
- Quicklisp is a library manager for Common Lisp.
- Qlot A project-local library installer for Common Lisp
- Ultralisp The software behind a Ultralisp.org Common Lisp repository
[编辑] 文档
[编辑] 图书
[编辑] 图集
Lisp方言
REPL
Timeline
LFE logo
[编辑] 链接
- 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开发博客客户端
- 探索JVM上的Lisp
分享您的观点
