Racket v9.2 于 2026 年 5 月正式发布，作为 Scheme 家族中面向语言导向编程的代表实现，此次更新在类型系统健全性、模式匹配语义、FFI 基础设施和核心语法精简方面均有实质性改进。对于依赖 Typed Racket 进行静态类型检查或使用宏进行元编程的工程团队而言，理解这些变更的边界条件与迁移策略至关重要。
类型系统修复：Typed Racket 的健全性加固
Typed Racket 在 v9.2 中修复了 asin 和 acos 函数的类型签名。此前，当输入值超出 [-1, 1] 区间时，这两个函数会返回复数结果，但类型系统未能正确反映这一行为，导致潜在的不健全（unsound）类型推导。修复后，类型签名能够正确处理复数输出场景，避免了静态类型检查通过却在运行时产生类型错误的隐患。
这一变更的代价是向后兼容性：现有代码如果在类型声明中假设 asin/acos 始终返回实数，将在编译阶段触发类型错误。迁移策略是在类型签名中显式处理 Complex 类型，或使用类型断言将结果约束为实数域。
多态结构类型的打印格式也获得改进。此前，(Array Byte) 等类型在错误信息中可能暴露内部表示细节，v9.2 改为使用类型参数形式（如 (Array Byte)），使调试输出更具可读性，降低了类型错误定位的认知负担。
模式匹配语义强化：match 的非线性模式检查
match 宏是 Racket 中进行结构化数据解构的核心工具。v9.2 引入了更严格的非线性模式检查：当同一变量在模式中多次出现且伴随 ... 省略号时，编译器会验证被匹配值的对应部分是否相等；同时拒绝 " 一处使用 ... 而另一处不使用 " 的非法模式。
这一变更修复了此前可能导致的运行时错误 —— 当程序员错误地假设非线性模式会自动进行相等性比较时，实际上 Racket 只是简单地重复绑定变量。现在，这类错误能够在编译期或运行期被捕获，代价是某些依赖旧行为的代码可能失效。
对于使用复杂模式匹配进行代码生成或 AST 转换的 DSL 实现者，建议审查所有包含重复变量和省略号的模式，确保语义符合预期。
FFI 基础设施演进：ffi2 与 foreign-inline
v9.2 为未来的 "ffi2" 外部函数接口提供了内部支持，目标是实现更静态、更高效的 C 语言互操作。虽然 ffi2 尚未作为正式包发布，但核心运行时已预留了必要的钩子。
更直接可用的变更是 #%foreign-inline 核心语法形式的引入。这一形式提供了对 linklet 层设施的不安全访问，允许在 Racket 代码中直接嵌入底层实现细节。对于需要编写处理完全展开（fully-expanded）语法的工具作者而言，这意味着需要更新代码以处理这一新的核心形式。
terminal-file-position 函数的新增则解决了长期存在的 I/O 监控盲区：此前难以准确统计写入终端（如 stderr）的字节数，现在可以通过该函数获得精确的字节计数，对于日志聚合和流量控制场景具有实用价值。
核心语法精简：racket/kernel 重写
v9.2 将 member、memw、when、unless、let/ec 和 cond 等核心形式的实现重写为仅使用 racket/kernel 语法。这一变更属于内部重构，对外部用户透明，但体现了 Racket 核心团队持续简化语言内核、降低实现复杂度的工程理念。
racket/kernel 是 Racket 的最小核心语言，仅包含最基本的语法形式。将高层抽象归约为内核语法，不仅减少了核心代码量，也为编译器优化提供了更清晰的中间表示。
迁移检查清单
基于 v9.2 的破坏性变更，建议按以下优先级进行迁移评估：
编译时风险（高优先级）
- 检查 Typed Racket 代码中
asin/acos的使用，确保类型签名处理复数返回 - 审查
match模式中的非线性变量使用，特别是涉及...的场景 - 更新处理完全展开语法的工具，支持
#%foreign-inline
运行时风险（中优先级）
- 验证依赖旧
match非线性模式行为的代码逻辑 - 测试跨阶段持久模块中
quote数据的新支持场景
可选优化（低优先级）
- 评估
terminal-file-position在日志监控中的应用 - 更新 Scribble 文档的
initial-scale配置
资料来源
- Racket v9.2 Release Announcement: https://racket.discourse.group/t/release-announcement-for-v9-2/4217
- Racket GitHub Releases: https://github.com/racket/racket/releases
内容声明：本文无广告投放、无付费植入。
如有事实性问题，欢迎发送勘误至 i@hotdrydog.com。