Racket v9.2 发布：语言导向编程的重要更新

背景

Racket 是一个以“语言导向编程”（Language-Oriented Programming）为核心理念的开源编程语言及工具集。它不仅仅是一门语言，更是一个用于构建新语言的框架，广泛应用于教育、研究和工业界。Racket 由 Matthew Flatt、Matthias Felleisen 等知名学者和开发者社区共同维护，以其强大的宏系统、类型系统（Typed Racket）以及完善的文档工具（Scribble）著称。

此次发布的 Racket v9.2 版本，标志着该语言在类型安全性、外部接口稳定性以及 Unicode 标准兼容性方面迈出了重要一步。作为社区驱动的项目，该版本的发布凝聚了来自全球众多贡献者的努力，旨在解决长期存在的类型系统漏洞，并提升开发体验的一致性。

核心内容

Racket v9.2 现已通过官方渠道（https://download.racket-lang.org/）提供下载。本次更新包含多项关键的功能改进、错误修复以及底层实现的优化，具体细节如下：

1. 类型安全与 match 形式的强化

• match 形式的非线性模式检查：在 match 表单中，当使用非线性模式（即同一个变量在模式中被多次使用）时，新版本现在会严格检查匹配值的两个部分是否实际相等。此外，如果变量的一部分与 ...（序列模式）结合使用，而另一部分没有，match 将直接拒绝该模式。
  • 注意：这一修复可能导致部分现有代码在编译时失败，因为之前可能依赖于不严格的匹配行为。
• Typed Racket 的复数处理：针对 asin 和 acos 过程，Typed Racket 的类型定义现在能够正确处理产生复数的情况。此前，这些函数在某些边界条件下可能产生不安全的（unsound）结果，现在这一漏洞已被修补。
  • 注意：此修复可能导致部分现有代码在编译时因类型错误而失败。

2. 底层接口与外部交互

• #%foreign-inline 核心语法形式：引入了一个提供不安全访问权限的核心语法形式，允许直接访问由 Racket 实现提供的 linklet 层设施。
  • 影响：任何通过枚举方式处理所有核心形式的代码都需要进行相应更新。
• 静态 FFI 支持：内部增加了对更静态的“ffi2”外部接口（Foreign Interface）的支持，该接口计划在未来的包中使用，旨在提升外部库调用的安全性和性能。

3. 标准化与兼容性

• Unicode 17.0 支持：字符和字符串操作现在全面采用 Unicode 17.0 标准，确保了对最新字符集和语义的正确处理。
• 跨阶段持久模块：支持更多类型的 quote 数据，增强了跨阶段持久模块（Cross-phase persistent modules）的能力。

4. 开发工具与用户体验改进

• 终端文件位置计数：terminal-file-position 函数现在能够准确计算写入连接到终端的端口（如 stdin 和 stderr）的字节数。
• Stepper 数字显示优化：步进器（Stepper，用于调试的代码执行可视化工具）中的数字显示现在更好地匹配用户的语言设置。
• Scribble 文档样式调整：
  • 不使用 Racket-manual 样式的 Scribble 文档，其 initial-scale 默认值从 0.8 调整为 1.0。
  • 默认情况下，在窄屏显示上，所有样式的边注（margin notes）都以内联形式显示，而不仅仅局限于 Racket-manual 样式。
  • 上述行为可通过配置 initial-scale 属性进行调整。
• Big-bang 程序修复：打包为 .dmg 文件的 Big-bang 程序现在能正确处理 close-on-stop 功能，确保程序停止时资源释放正确。

5. 内部实现重构

• 核心语法简化：member、memw、when、unless、let/ec 和 cond 等核心形式的实现已被重写，现在仅使用 racket/kernel 语法，简化了底层依赖。
• Impersonator 属性识别：新增 impersonator-property-predicate-procedure? 函数，用于识别由 make-impersonator-property 创建的程序。
• Typed Racket 结构体类型打印：在 Typed Racket 中，多态结构体类型现在使用类型参数（例如 (Array Byte)）进行打印，而不是暴露内部表示形式，提高了输出的可读性和稳定性。

关键要点

• 破坏性变更预警：match 形式的非线性模式检查和 asin/acos 的类型修复可能导致部分现有代码在编译时失败。开发者在升级前应仔细审查涉及这些特性的代码。
• 类型系统更严谨：Typed Racket 对复数运算的支持修复了潜在的类型不安全漏洞，提升了静态类型检查的可靠性。
• Unicode 标准同步：全面升级至 Unicode 17.0，确保对最新国际字符标准的支持。
• 开发体验优化：Scribble 文档的默认缩放比例和边注显示逻辑更加符合现代网页浏览习惯，步进器调试体验更加本地化。
• 底层接口演进：引入 #%foreign-inline 和预研“ffi2”接口，为未来更强大、更安全的底层交互能力奠定基础。
• 社区协作成果：该版本由包括 Matthew Flatt、Matthias Felleisen、Robby Findler 等在内的数十位贡献者共同完成，体现了 Racket 社区强大的协作能力。

意义与影响

Racket v9.2 的发布不仅是版本号的迭代，更是 Racket 语言在类型安全性和标准化方面的重要里程碑。

首先，对 match 和 Typed Racket 类型系统的严格化修复，解决了长期存在的边缘情况漏洞。这对于依赖 Racket 进行关键任务开发或学术研究的社区而言至关重要，因为它消除了潜在的不确定性，使得基于 Racket 构建的工具和语言更加健壮。

其次，对 Unicode 17.0 的支持表明 Racket 紧跟国际标准，这对于需要处理多语言文本的全球开发者来说是一个基础性的改进。同时，Scribble 文档样式的调整反映了项目对开发者体验（DX）的重视，使得文档生成更加灵活和符合直觉。

最后，内部对 racket/kernel 的依赖简化以及对 ffi2 的预研，显示了 Racket 核心开发团队致力于降低语言复杂性、提升底层效率的努力。作为语言导向编程的典范，Racket 通过不断的底层重构和特性增强，持续巩固其在 Lisp/Scheme 家族中的独特地位，并为构建领域特定语言（DSL）提供了更坚实的基础。

对于广大用户而言，建议尽快升级以获取更好的 Unicode 支持和文档体验，但在升级前务必检查项目中是否使用了受影响的 match 模式或数学函数，以规避潜在的编译错误。