欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Lisp
来自开放百科 - 灰狐
(版本间的差异)
小 (→项目) |
小 (→图集) |
||
(未显示1个用户的22个中间版本) | |||
第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] | *[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的最小集 | ||
第17行: | 第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 | *[https://github.com/kanaka/mal mal] Make a Lisp | ||
*[[Racket]] | *[[Racket]] | ||
第35行: | 第65行: | ||
*[https://github.com/clojure-lsp/clojure-lsp Language Server (LSP) for Clojure] [https://langserver.org/ Language Server Protocol] | *[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/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 | ||
==文档== | ==文档== | ||
第45行: | 第79行: | ||
image:Mal-Metadata-Self-hosting-and-Interop.png|REPL | 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> | ||
第69行: | 第103行: | ||
[[category:artificial intelligence]] | [[category:artificial intelligence]] | ||
[[category:lambda]] | [[category:lambda]] | ||
+ | [[category:Huihoo Foundation]] |
2024年8月12日 (一) 10:27的最后版本
您可以在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
[编辑] 文档
[编辑] 图集
[编辑] 链接
- 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
分享您的观点