源码：Robert-van-Engelen/tinylisp: Lisp in 99 lines of C and how to write one yourself. Includes 21 Lisp primitives, garbage collection and REPL. Includes tail-call optimized versions for speed and reduced memory use.
用99行C代码实现Lisp及自制教程
为了致敬Church和McCarthy的贡献，原作者编写了本项目及配套文章，旨在展示任何人如何用少量C代码或任何类C编程语言编写一个微型Lisp解释器。其尽可能保留了Lisp原有的意义和风格。因此，本项目中的C代码在紧凑形式上具有强烈的Lisp风格。尽管体积小巧，这些C语言编写的微型Lisp解释器包含21个内置Lisp原语、简单的垃圾回收机制和REPL，使其比玩具示例更具实用性。如果需要，可以按照其文章中的说明，通过添加几行C代码轻松增加更多Lisp特性，其中还包含可供尝试的示例。
Tinylisp为何如此小巧？
借助NaN装箱（或BCD装箱）技术以及C语言中的一些编程技巧。有关详细信息、示例以及如何扩展tinylisp功能的详细说明，请参阅文章。
编译tinylisp的方法：
$ cc -o tinylisp tinylisp-opt.c
默认分配的单元格数量为N=1024，仅占用8K内存。要增加内存大小，请修改代码中的N值，然后重新编译tinylisp。
99 行代码 Lisp 语言特性
数字
双精度浮点数，包括inf、-inf和nan（nan与ERR相同）。数字也可以用十六进制0xh...h格式输入。
符号
Lisp 符号由一系列非空格字符组成，不包括括号()和引号。在 Lisp 表达式中使用符号时，会查找其值，就像变量通常引用其值一样。符号可以用单引号引用，如'foo，以便按字面意义使用符号或将其传递给函数。
布尔值
嗯，Lisp 其实不需要专门的布尔值。()空列表（称为 nil）被视为 false，任何非()的东西都被视为 true。为方便起见，#t是一个表示 true 的符号（#t计算结果为其自身，即不需要引用）。
列表
在 Lisp 中，列表既是代码也是数据。从语法上讲，可以在列表的最后一个元素使用点号来构造一个序对（pair），而不是列表。例如，'(1 . 2)是一个序对，而'(1 2)是一个列表。由于链表的特性，点号后面的列表会构成一个列表，而不是序对。例如，'(1 . (2 . ()))与'(1 2)是相同的。请注意，列表是由序对组成的链，以()结尾。
函数调用
(<函数> <表达式1> <表达式2> ... <表达式n>)
将函数应用于后续的表达式列表作为其参数。以下是所有内置函数，称为“原语”（primitives）和“特殊形式”（special forms）。
引用与解引用
'<表达式> (quote <表达式>)
通过引用保护<表达式>不被求值，效果等同于'<表达式>。例如，'(1 () foo (bar 7))是一个列表，其中包含受引用保护的未求值表达式。
(eval <已引用表达式>)
对已引用的表达式进行求值并返回其结果。例如，(eval '(+ 1 2))的结果是 3。
构造与解构序对和列表
(cons x y)
为表达式x和y构造一个序对(x . y)。列表由多个 cons 序对链接而成，其中空列表()作为最后一个y。例如，(cons 1 (cons 2 ()))与'(1 2)相同。
(car <序对>)
返回序对(x . y)或列表的第一部分x。
(cdr <序对>)
返回序对(x . y)的第二部分y。对于列表，这将返回第一个元素之后的剩余列表。
(pair? x)
如果x是一个序对（即可以应用car和cdr的非空列表 cons 单元），则返回#t（真）。
算术运算
(+ n1 n2 ... nk) (- n1 n2 ... nk) (* n1 n2 ... nk) (/ n1 n2 ... nk)
对n1到nk进行加、减、乘或除运算。计算方式为n1运算符n2运算符 ... 运算符nk。注意，(- 2)的结果是 2，而非 -2，而(- 0 2)的结果是 -2。此外，至少应提供一个数值n。正如文章所建议，你可以根据喜好修改 Lisp 解释器来改变此行为。
(int n)
返回数字n的整数部分。
逻辑运算
(< n1 n2)
如果数字n1<n2，则返回#t（真）。否则，返回()（空列表表示假）。
(eq? x y)
如果值x和y完全相同，则返回#t（真）。否则，返回()（空列表表示假）。具有相同值的数字和符号始终是相同的，但非空列表即使值相同也可能不同。
(or x1 x2 ... xk)
返回第一个为真（即非()）的x的值。否则，返回()（空列表表示假）。仅求值到第一个为真的x，因此or是条件性的。
(and x1 x2 ... xk)
如果所有x都非()，则返回最后一个x的值。否则，返回()（空列表表示假）。仅求值到第一个为()的x，因此and是条件性的。
(not x)
如果x不是()，则返回#t。否则，返回()（空列表表示假）。
条件表达式
(cond (x1 y1) (x2 y2) ... (xk yk))
返回第一个为真的x所对应的y的值，这里的“真”指非()（即非假），且至少有一个条件必须为真。
(if x y z)
如果x为真（即非()，也就是非假），则返回y，否则返回z。
lambda 表达式
(lambda )
返回一个匿名函数“闭包”，它包含一个变量列表和一个作为其主体的表达式。例如，(lambda (n) (* n n))会对其参数进行平方运算。lambda 的变量可以是单个名称（不放在列表中），用于将所有参数作为命名列表传递。例如，(lambda args args)会将其参数作为列表返回。可以使用点对（pair dot）来表示剩余的参数。例如，(lambda (f x . args) (f . args))会将函数参数f应用于参数args，同时忽略x。闭包包含 lambda 的词法作用域，即在外层作用域中定义的局部名称可以在主体中使用。例如，(lambda (f x) (lambda args (f x . args)))是一个函数，它接受函数f和参数x以返回一个柯里化函数。
全局变量
(define )
全局定义一个与表达式值相关联的符号。如果该表达式是一个函数或宏，那么这将全局定义该函数或宏。
局部变量
局部变量通过以下let*特殊形式声明。此形式的语法与其他 Lisp 和 Scheme 实现略有不同，目的是让 let 形式更易于直观使用（但如果您愿意，可以在 Lisp 解释器中对其进行修改）：
(let* (v1 x1) (v2 x2) ... (vk xk) y)
在符号v的局部作用域内计算y的值，这些符号从第一个到最后一个依次绑定到相应x的值。
注意，大多数 Lisp 使用的语法是将绑定对放在一个列表中，后跟一个或多个主体表达式：
(let* ((v1 x1) (v2 x2) ... (vk xk)) y1 y2 ... yn)在 tinylisp 中，我们可以通过将除最后一个主体表达式
y之外的所有表达式绑定到哑元_变量来实现相同的效果：(let* (v1 x1) (v2 x2) ... (vk xk) (_ y1) (_ y2) ... yn)或者，我们可以在
let*主体中使用(begin y1 y2 ... yn)，其中begin在 common.lisp 中定义。
实践
下载源代码
git clone https://gitcode.com/gh_mirrors/ti/tinylisp cd tinylisp/src编译
cc -o tinylisp tinylisp-opt.c编译完成，执行一下：
skywalk@ubjail1:~/github/tinylisp/src$ ls README.md list.lisp tinylisp-extras.c tinylisp-opt.c common.lisp math.lisp tinylisp-float-extras.c tinylisp.c lisp850-opt.c tinylisp tinylisp-float-opt.c lisp850.c tinylisp-commented.c tinylisp-float.c skywalk@ubjail1:~/github/tinylisp/src$ ./tinylisp tinylisp 925>(+ 2 1) 3 925>注意，退出用Ctrl+D 或者Ctrl+C
只测试了基本(+ 2 1)这样的命令，它给的例子，我能导入，但不知道该怎么调用：
; (sqrt n) -- solve x^2 - n = 0 with Newton method using the Y combinator to recurse ; ... we could add math.h sqrt() as a Lisp primitive, but what's the fun in that? (define Y (lambda (f) (lambda args ((f (Y f)) . args)))) (define sqrt (lambda (n) ((Y (lambda (f) (lambda (x) (let* (y (- x (/ (- x (/ n x)) 2))) (if (eq? x y) x (f y)))))) n)))好吧，这个是开平方，直接后面带数字就行：
328>(sqrt 9)[ 3 328>总结
能在99行代码里实现一个可以跑的lisp，还是挺值得学习的。
