minilisp

MiniLisp

有一天,我想看看我能用 1k 行 C 语言做什么。 决定编写一个 Lisp 解释器。事实证明,这 这是一个有趣的周末项目,结果是一个迷你 Lisp 实现 支持

• 整数、符号、cons 单元
• 全局变量,
• 词法作用域的局部变量,
• 闭包,
• if 条件语句,
• 原始函数,例如 +、=、< 或 list
• 用户定义的函数,
• 一个宏系统,
• 以及一个拷贝垃圾回收器。 所有这些都是 C 语言的 1000 行代码,我没有为了规模而牺牲可读性。 在我看来,代码有大量注释,以帮助读者理解 所有这些功能如何工作。 编译

$ make

MiniLisp 已经在 Linux x86/x86-64 和 64 位 Mac OS 上进行了测试。代码不太依赖于架构，因此您应该能够在其他类似 Unix 的操作系统上编译和运行。

MiniLisp 支持整数字面量、(), t, 符号和列表字面量。

• 整数字面量是正整数或负整数。 * () 是唯一的假值。 它还表示空列表。 * t 是一个预定义的变量，其值为自身。 这是表示真值的首选方式，而任何非 () 值都被认为是真值。 * 符号是具有唯一名称的对象。 它们用于表示标识符。 由于 MiniLisp 没有字符串类型，有时也用作字符串的替代。 * 列表字面量是 cons 单元。 它是一个普通列表，其最后一个元素的 cdr 为 ()，或者是以任何非 () 值结尾的斜线列表。 斜线列表写成为 (a . b)。

cons 传入两个参数, 并返回一个新的 cons 单元, 使第一个参数成为 car, 第二个参数成为 cdr。