Scheme

一、核心概念：求值规则1.1 Scheme 的默认行为：自动求值Scheme 解释器的默认行为是对一切表达式求值。当你输入 (+ 1 2) 时，解释器不会把 +、1、2 当作符号保留，而是： 查找 + 对应的加法函数 求值 1 和 2 得到数字 调用加法函数，返回 3 这是 Scheme 的"本能"——看到代码就执行，就像演员看到剧本就演出。 1.2 quote 的作用：阻止求值quote 的作用是阻止这种默认行为，把代码当作数据处理。它告诉解释器："别执行这段代码，原样返回就好。" 123(+ 1 2) ;; => 3 （求值：执行加法）'(+ 1 2) ;; => (+ 1 2) （不求值：返回列表本身）(quote (+ 1 2)) ;; => (+ 1 2) （同上，' 是语法糖） ' 是 (quote ...) 的简写——它们完全等价。 二、直观对比：有 quote vs 无...

一、引言编写解释器是理解编程语言本质的最佳方式。本文将用 Python 实现一个最小但功能完整的 Scheme 解释器，覆盖三个核心模块： 解析器（Parser）：将字符串代码转换为 Python 内部数据结构 求值器（Evaluator）：根据 Scheme 规则计算数据结构的值 环境（Environment）：存储和查找变量值的"记事本" 二、模块一：解析器2.1 原理Scheme 的语法极其简单——一切都是 S-表达式（括号嵌套列表）。解析过程分两步： 词法分析（Tokenize）：将字符串拆分为 token 语法分析（Parse）：将 token 序列转换为嵌套列表 2.2 实现123456789101112131415161718192021222324252627282930313233343536import redef tokenize(source): tokens = re.findall(r'\(|\)|[^\s()]+', source) return tokensdef...

一、核心定义与直觉1.1 Scheme begin：时间维度的"打包器"begin 将多个表达式组合成一个单一的表达式。核心逻辑是顺序执行（Side-effect sequencing）——先做 A，再做 B，返回 B 的结果。 1234567(begin (display "Hello") (display " ") (display "World") 42);; 打印：Hello World;; 返回：42 begin 是为了解决一个矛盾：函数体只能返回一个值，但在有副作用的语言中需要做多件事。 1.2 Python 逗号：空间维度的"分隔符"逗号 , 是一个分隔符或构造器。核心逻辑是并列关系（Juxtaposition）——它用于分隔参数、列表元素，或者构造元组。它不隐含"先做这个再做那个"的顺序依赖，而是强调"把这些放在一起"。 12345678# 分隔参数print("Hello",...

一、基础语法与形态对比1.1 C++ switch：基于常量表达式的跳转1234567891011121314int day = 3;switch (day) { case 1: cout << "Monday"; break; // 必须手动 break，否则 Fall-through case 2: cout << "Tuesday"; break; case 3: cout << "Wednesday"; break; default: cout << "Other";} 核心特征： case 标签必须是编译期常量（整数、枚举、字符） Fall-through：不加 break 会继续执行下一个 case 只能做相等性测试（==），不支持范围判断 1.2 Python...