欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Lisp
来自开放百科 - 灰狐
(版本间的差异)
小 (→项目) |
小 (→简介) |
||
(未显示1个用户的6个中间版本) | |||
第1行: | 第1行: | ||
{{SeeWikipedia|Lisp (programming language)}} | {{SeeWikipedia|Lisp (programming language)}} | ||
+ | Lisp | ||
+ | |||
+ | ==简介== | ||
LISP即LISt Processor,也就是链表处理器,由约翰·麦卡锡在1960年左右创造的一种基于λ演算的函数式编程语言。 | LISP即LISt Processor,也就是链表处理器,由约翰·麦卡锡在1960年左右创造的一种基于λ演算的函数式编程语言。 | ||
Lisp 是一门可编程的编程语言 (Lisp is a programmable programming language) | Lisp 是一门可编程的编程语言 (Lisp is a programmable programming language) | ||
+ | |||
+ | In Lisp, code is data. | ||
+ | |||
+ | [https://www.gnu.org/gnu/rms-lisp.html 我的 Lisp 经历和 GNU Emacs 的开发] | ||
==新闻== | ==新闻== | ||
第22行: | 第29行: | ||
*[https://github.com/kanaka/mal mal] Make a Lisp | *[https://github.com/kanaka/mal mal] Make a Lisp | ||
*[[Racket]] | *[[Racket]] | ||
+ | *[[Mezzano]] | ||
*[[Lispbox]] | *[[Lispbox]] | ||
*[[CommonQt]] | *[[CommonQt]] | ||
第29行: | 第37行: | ||
*[https://ferret-lang.org/ Ferret] for real time embedded control systems | *[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://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] | ||
==文档== | ==文档== |
2021年11月13日 (六) 06:00的版本
您可以在Wikipedia上了解到此条目的英文信息 Lisp Thanks, Wikipedia. |
Lisp
目录 |
简介
LISP即LISt Processor,也就是链表处理器,由约翰·麦卡锡在1960年左右创造的一种基于λ演算的函数式编程语言。
Lisp 是一门可编程的编程语言 (Lisp is a programmable programming language)
In Lisp, code is data.
新闻
- PLT Scheme is now Racket
- 2018,Lisp迎来60周年庆。
方言
- Common Lisp是LISP的最大集
- Scheme是LISP的最小集
- Emacs Lisp
- Clojure
- EuLisp
- Parallel Lisps
- LFE
项目
- 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
文档
图集
- 生成缩略图错误:不正确的缩略图参数
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
分享您的观点