sorbet

Sorbet 是一个专为 Ruby 设计的静态类型检查器，支持渐进式类型标注，可在不修改现有代码的前提下逐步引入类型安全。其核心功能包括快速增量类型检查、语言服务器协议（LSP）支持（如跳转定义、悬停提示、重命名等），以及与 Ruby 生态良好集成的 CLI 工具链。基于高性能 C++ 实现，兼顾响应速度与表达能力。适用于中大型 Ruby 项目（如 Rails 应用、服务端 API）在开发阶段提升代码健壮性、改善 IDE 体验及辅助重构。