【Rust日报】2026-07-20 Keel 0.3 发布：Rust 写的静态类型解释语言补上标准库、Map 和文档站
内容提要
Keel 0.3发布，新增标准库、Map类型和文档站，性能为Python的2-10倍。ExImg用egui实现点击穿透的参考图工具。cair-rs将seam carving算法带回Rust。Rooc整合MILP建模语言、Rust API和浏览器求解。四个项目均来自Rust社区，推动工具链发展。
延伸解读
Keel 0.3 的工程化信号
Keel 0.3 的更新重点不在新语法，而在工程收敛：标准库、Map 类型、错误信息强化、编译路径统一和寄存器分配优化，都表明作者在认真打磨内部结构。文档站和在线 playground 的补全，也说明项目正从实验玩具向可试用、可嵌入的工具链推进。对关注 Rust 写语言实现或解释器性能的读者，这是一个值得留意的进展。
ExImg 的桌面工具细节
ExImg 解决的是参考图查看的痛点，但真正有价值的是它处理窗口穿透和系统热键的细节。使用 ViewportCommand::MousePassthrough 实现点击穿透，又用 global-hotkey 注册系统级热键来恢复控制，这种边角问题正是桌面工具从 demo 走向实用的关键。此外，从 Inno Setup 迁移到 cargo-packager 并接入 GitHub Actions，也展示了 Rust 桌面应用的发布链路样板。
cair-rs 的算法实现价值
cair-rs 将经典的 seam carving 算法用 Rust 重新实现，并附有在线 demo 和参考论文。虽然它目前还不是完整的工具链，但作为 Rust 图像处理和算法实现的干净样板，对想学习内容感知缩放或经典视觉算法工程化的开发者很有参考价值。后续若补充 benchmark 或并行特性，会更接近完整工具。
Rooc 的一体化建模思路
Rooc 的独特之处在于它同时提供 Rust API、独立的 ROOC 建模语言和浏览器端 TypeScript 包，形成从模型描述到求解的完整通道。这种语言层、库层、Web 层统一推进的方式，让它在 Rust 运筹优化领域具有辨识度。对需要在浏览器或前端做优化建模的开发者，Rooc 提供了一个可尝试的入口。
Q&A
Keel 0.3 有哪些新特性？
Keel 0.3 新增了标准库（std/math、std/time、std/random）、Map 类型及对应语法，强化了错误信息，优化了编译器和 VM（如统一编译路径、统一字面量编译与寄存器分配、移除冗余边界检查），并发布了二进制和动态库产物、文档网站和在线 playground。
Keel 语言的性能如何？
Keel 是一种用 Rust 编写的静态类型解释语言，语法接近 Rust，使用体验类似 Python，在解释执行场景下速度大约是 Python 的 2 到 10 倍，同时保持零注解的类型推断。
ExImg 是如何实现点击穿透的？
ExImg 使用 ViewportCommand::MousePassthrough 实现点击穿透，让鼠标事件可以传递到下层绘图软件。同时，为了在窗口失焦后能切回模式，它借助 global-hotkey 注册系统级热键来收回控制权。
cair-rs 是什么？
cair-rs 是一个用 Rust 实现的内容感知图像缩放工具，基于 seam carving 算法，通过删除低能量接缝来调整图像大小，并提供了在线 demo。
Rooc 提供了哪些组件？
Rooc 提供了一整套线性/混合整数优化建模工具，包括 Rust 侧的 fluent API、独立的 ROOC 建模语言、可在浏览器运行的 Web 平台和 TypeScript 包，支持从模型描述到求解执行的完整流程。
Keel 0.3 的发布对 Rust 社区有什么意义？
Keel 0.3 的发布表明作者在认真将 Rust 的编译器工程思路迁移到运行时语言工具链上，不仅堆功能，还收敛内部结构，并完善了文档和 playground 等外围配套，推动 Keel 向可试用、可嵌入、可讨论的工具链方向发展。
