从 Python 原型到 Rust 移植从 HM 类型推断到模式匹配2 小时全链路跑通。1. 为什么造一门语言先回答一个绕不开的问题为什么不直接用 Python/Rust答案是为了验证设计。Dalin L 的目标是一门面向 AI Agent 的编程语言。不是要替代现有语言而是探索一种语义密度更高、对 LLM 更友好的表达方式。我对这门语言有几个核心设计诉求中文标识符全链路支持— 变量名、函数名、参数名全线中文化HM 类型推断— 写let x 42自动推断为 int不写类型也能获得类型安全模式匹配—Some(v) v, None 0一行顶 Python 四行if isinstance管道操作—data | filter | map数据流清晰可读零依赖运行— 纯 Rust 标准库编译出来就一个二进制在动手写 Rust 实现之前我先把所有这些设计在 Python 里跑通了——词法分析、语法解析、HM 类型推断、树遍历解释器250 个测试全覆盖。然后带着验证过的设计一次性移植到 Rust。2. 项目架构整个语言分四层 Pipeline每个模块职责清晰模块做什么Lexer把源码字符串拆成 Token 流。认识 28 个关键字、25 运算符、中文标识符、字符串转义、块注释、属性宏#[derive]Parser递归下降语法分析器Pratt 运算符优先级。支持 if/match/for/while/struct/enum/trait/impl 等 20 种语句结构TypeInferencerHindley-Milner 类型推断引擎。核心是 Robinson Unification 算法——解类型方程α int → {α → int}Interpreter树遍历解释器。函数/闭包/递归、循环、模式匹配、结构体、管道操作、30 个内置函数3. 最大亮点HM 类型推断原型阶段最核心的攻坚战是类型推断。HMHindley-Milner是 ML 家族语言的类型系统——F#、OCaml、Haskell 都用它。核心思想类型变量 方程求解。当你写let x 42推断器说x 的类型是 α但 α 必须等于 int于是α int。当你写fn id(x) { return x }推断器说参数是 α返回值也是同一个 α——所以 id 的类型是 α → α多态。然后在调用站实例化id(42)→α 被实例化为 int→ 返回值 intid(hi)→α 被实例化为 string→ 返回值 stringid(true)→α 被实例化为 bool→ 返回值 bool同一个函数三种调用三种不同的返回类型——编译器推断出来的不用写一行类型注解。这靠的是三个核心函数然后在 CallExpr 的推断中用_fresh_copy为每次调用生成一组新鲜的类型变量防止前一次调用的 substitution 污染后一次不共享seendict 的结果是id(42)返回α6而不是int——这个 bug 我修了半小时。4. 中文编程不只是换了个变量名很多中文编程只是在 lexer 层把关键字翻译成中文。Dalin L 从头打到尾所有层级原生支持 CJK 字符。不只是一个 token mapping是从字符识别到运行时值查找的全链路。5. 模式匹配五种模式 守卫 嵌套模式匹配是 Dalin L 的亮点之一支持在 Python 原型里五种模式都在Pattern这个 dataclass 里表示Rust 移植后改用枚举表达但在原型阶段 dataclass 的灵活性帮了大忙——改结构比改枚举容易得多。6. Python 原型 → Rust 移植实录Python 原型跑了 250 个测试全部通过后开始 Rust 移植。过程不复杂——架构已经验证过直接翻译。Python 原型规模7 个文件约 2500 行250 个测试61 pytest 85 端到端 104 手动边缘扫描HM 类型推断、模式匹配、中文支持全部验证通过Rust 移植规模7 个模块约 2000 行42 个测试42/42 通过零外部依赖移植过程中遇到几个 Rust 特有的坑Lexer 的peek语义— Python 版_peek(offset1)默认看下一个字符Rust 版我写了peek(offset0)导致被识别为EQUAL而非DOUBLE_EQUAL。修了一个字。Parser 的 advance 返回值— Python 版返回TokenRust 版想返回Token结果和self.pos 1打架。改成返回 ownedToken解决。递归函数的闭包问题—fn fact(n) { ... fact(n-1) ... }在执行时fact这个函数值捕获的 closure 里没有fact自身因为创建 FnValue 时还没定义好。解决方案在 Interpreter 上加一个functions: HashMapString, FnValue递归查找时先查函数表。env.child()的 clone 陷阱— 当env.child()创建子作用域时它 clone 了父 env。for 循环中用assign修改变量会修改 clone 而非原环境。修复方法是直接在父 env 上操作原型阶段简化了作用域隔离。7. 快速体验演示输出语言 DEMO8. 下一步Dalin L 目前是经过验证的设计 可运行的 Rust 实现。当前处于 v0.1.0 阶段后续方向RcRefCellEnvironment实现真正的词法作用域— 当前 if/for 的块作用域会泄漏变量到外层标准库— 最起码的文件读写、字符串操作let-polymorphism 完善— 无注解递归函数的类型推导需要 fixpoint 或 let generalizationWeb playground— Wasm 版本在浏览器里跑项目地址github.com/CN-QN1-dalin/dalin-l欢迎 star、issue、PR。如果你也在搞语言设计或 Agent-Native 的东西直接提 issue 聊。作者QN1幻化引擎 贾大林 石家庄