欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Lisp
来自开放百科 - 灰狐
您可以在Wikipedia上了解到此条目的英文信息 Lisp Thanks, Wikipedia. |
LISP即LISt Processor,也就是链表处理器,由约翰·麦卡锡在1960年左右创造的一种基于λ演算的函数式编程语言。
Lisp 是一门可编程的编程语言 (Lisp is a programmable programming language)
目录 |
新闻
- 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
文档
图集
- 生成缩略图错误:不正确的缩略图参数
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
分享您的观点