SimpL — A Minimal Lisp for Teaching SimpL（极简 Lisp）是一个面向教学的解释型 Lisp 方言，用 MoonBit 实现。极简 和教学 是其核心理念。
词法作用域 — 闭包捕获定义时的环境同像性 — 代码即数据，单一 Value 类型表达一切一等函数 — lambda 和内置过程都是 Value特殊形式 — quote if cond lambda define let let* named let begin and or set! when unless内置函数 — 算术、比较、列表、类型判断、输出递归下降解析器 — 手写，零外部解析依赖
moon run cmd/main # 进入 REPLtest --target native # 运行测试
命令
说明
:h, :help显示帮助
:q, :quit退出
:clear, :cls清屏
:l <file>, :load <file>加载并求值 SimpL 源文件
; comment行注释
类型
字面量示例
显示
Number
42 3.14 -542
Symbol
hello + xhello
String
"hello world" "a\"b""hello world"
Boolean
#t #f#t
Void
define/set!/when 等返回值
#<void>
Nil
() 空列表()
Pair
(1 2 3) (a . b)(1 2 3)
(quote <expr> ) ; 返回表达式不求值'<expr> ; quote 的语法糖if <cond> <then> <else>) ; 必须三参数，无 else 分支用 when/unlesscond (<test> <expr> ...) ... ; 多分支条件，找到第一个 truthy 子句else <expr> ...)) ; else 始终匹配; body 支持多表达式define <name> <value>)
(define (<name> <params>) <body> ...) ; 函数简写define ((<name> <params>) <params>) ...) ; curried 简写（CVT 解糖）let ((<var> <val>) ...) <body> ...) ; 局部绑定，val 在外部环境求值（非顺序）let* ((<var> <val>) ...) <body> ...) ; 顺序绑定，val 在新环境中求值，支持互递归let <proc-id> ((<arg> <init>) ...) <body> ...) ; named let：递归函数 + 立即调用begin <expr> ...) ; 顺序求值，返回最后一个and <expr> ...) ; 短路求值：遇 #f 停止；空 (and) → #tor <expr> ...) ; 短路求值：遇真值停止；空 (or) → #fset! <name> <value>) ; 修改已有变量; test 为真时执行 body，否则返回 #<void>; test 为假时执行 body，否则返回 #<void>
分类
函数
算术
+ - * / add1 sub1
比较
= < > <= >= （均支持链式多参数）
数值判断
zero? positive? negative?
列表
cons car cdr list null?
类型判断
number? symbol? string? pair? bool?
逻辑
not
输出
display newline
(+ 1 2 3 ) ; => 6- 10 3 ) ; => 7- 5 ) ; => -5* 2 3 4 ) ; => 24/ 10 2 ) ; => 5/ 10 ) ; => 0.141 ) ; => 4242 ) ; => 41zero? 0 ) ; => #tpositive? 5 ) ; => #tnegative? -3) ; => #t; ; 链式比较（支持多参数）= 1 1 1 ) ; => #t< 1 2 3 4 5 ) ; => #t> 5 4 3 ) ; => #t<= 1 1 2 ) ; => #t>= 3 2 2 ) ; => #t (if (< 3 5 ) 'less 'greater ) ; => lesspositive? 5 )
(display " positive!" ; 打印 positive!，返回 #<void>positive? -5)
(display " not positive" ; 打印 not positive，返回 #<void>cond
((< x 0 ) 'negative )
((> x 0 ) 'positive )
(else 'zero )) (cons 1 ' (2 3 )) ; => (1 2 3)car ' (1 2 3 )) ; => 1cdr ' (1 2 3 )) ; => (2 3)list 1 2 3 ) ; => (1 2 3)null? '() ) ; => #t (not #t ) ; => #fand #t 42 ) ; => 42and #f (display " x" ; => #f，不打印（短路！）or #f #f 7 ) ; => 7or 1 2 3 ) ; => 1（短路！） (define x 10)
(define (square n ) (* n n))
(square x) ; => 100define (abs n )
(if (< n 0 ) (- n) n))
(abs -42) ; => 42 (define (make-adder n )
(lambda (x ) (+ x n)))
(define add5 (make-adder 5 ))
(add5 10 ) ; => 15; ; curried 定义define ((foo x) y) (- x y))
((foo 3 ) 2 ) ; => 1 ; ; let：所有 val 在外部环境求值（非顺序）define a 10)
(let ((a 5 ) (b a)) b) ; => 10; ; let*：顺序求值，后面可看到前面let* ((x 1 ) (y (+ x 1 ))) (list y x)) ; => (2 1); ; let* 支持互递归let* ((is-even? (lambda (n ) (or (zero? n) (is-odd? (sub1 n)))))
(is-odd? (lambda (n ) (and (not (zero? n)) (is-even? (sub1 n))))))
(is-odd? 11 )) ; => #t; ; 阶乘let fac ((n 10 ))
(if (zero? n) 1 (* n (fac (sub1 n)))))
; => 3628800; ; 循环累加let loop ((i 0 ) (acc 0 ))
(if (< i 5 ) (loop (add1 i) (+ acc i)) acc))
; => 10(define (f x )
(define y (+ x 1 ))
(* y 2 ))
(f 3 ) ; => 8begin
(define a 1)
(define b 2)
(+ a b)) ; => 3 simpl/
├── types.mbt # Value / Env / 错误类型
├── reader.mbt # S-表达式解析器
├── builtins.mbt # 内置函数
├── eval.mbt # 求值器与环境操作
├── simpl.mbt # 库入口
├── simpl_test.mbt # 黑盒测试
├── editors/vscode/ # VS Code 语法高亮扩展
└── cmd/main/
└── main.mbt # 异步 REPL
所有数值为 Double — 简化类型系统，适合教学Void 与 Nil 分离 — Void 表示"无值"（副作用操作的返回值），Nil 专用于空列表if 必须三参数when 或 unless，语义更清晰'expr 语法糖(quote expr)(define (f args) body) 简写(define f (lambda args body))and/or 是特殊形式链式比较 — = < > <= >= 均支持多参数，如 (< 1 2 3) 等价于 (and (< 1 2) (< 2 3))= 只接受数字
Apache-2.0