一个简易Lisp解释器1
需积分: 0 69 浏览量
2022-08-03
19:26:17
上传
评论
收藏 1.95MB PDF 举报
10/17/2014 一个简易Lisp解释器 - 马克飞象 - 专为印象笔记打造的Markdown编辑器
http://maxiang.info/ 1/13
一个简易Lisp解释器
随笔 Python Lisp 解释器
Lisp
Lisp，最初被拼为LISP(是"LotsofIrritatingSillyParentheses"——"大量恼人、愚蠢的括号"的缩写)，一个历
史悠久的电脑编程语言家族，以波兰表示法编写。最早由约翰∙麦卡锡在1958年基于λ演算创造，是历史第二悠
久的高级语言，仅次于Fortran。也是第一个函数式编程语言。
其名称源自列表处理器（英语：ListProcessor）的缩写。LISP有很多种方言，各个实现中的语言不完全一
样。LISP语言的主要现代版本包括CommonLisp,Scheme以及Clojure。1980年代盖伊∙史提尔二世编写了
CommonLisp试图进行标准化，这个标准被大多数解释器和编译器所接受。还有一种是编辑器Emacs所派生
出来的EmacsLisp（而Emacs正是用Lisp作为扩展语言进行功能扩展的）非常流行，并创建了自己的标准。
LISP是第一个函数型编程语言，区别于C/Java等命令型编程语言。
由于历史的原因，Lisp长期以来被认为主要用于AI领域，但Lisp并不是为AI而设计，而是一种通用的编程语言.
Lisp的表达式是一个原子（atom）或表（list），原子（atom）又包含符号（symbol）与数值（number）；表
是由零个或多个表达式组成的序列，表达式之间用空格分隔开，放入一对括号中，如：
abc
()
(abcxyz)
(ab(c)d)
最后一个表是由四个元素构成的，其中第三个元素本身也是一个表，这种list又称为嵌套表（nestedlist）。
Scheme
Scheme是Lisp的两种主要方言之一（另一种为CommonLisp）。不同于CommonLisp，Scheme遵循极简主
义哲学，以一个小型语言核心作为标准，加上各种强力语言工具（语法糖）来扩展语言本身。
Scheme最早由麻省理工学院的盖伊∙史提尔二世与杰拉德∙杰伊∙萨斯曼在1970年代发展出来，并由两人发表
的"λ论文集"推广开来。Scheme语言与λ演算关系十分密切。小写字母"λ"是Scheme语言的标志。
Scheme的哲学是：设计计算机语言不应该进行功能的堆砌，而应该尽可能减少弱点和限制，使剩下的功能显
得必要。Scheme是第一个使用静态作用域的Lisp方言，也是第一个引入"干净宏"和第一类续延的编程语言。
剩余12页未读，继续阅读
评论0