在昨日举办的 RubyKaigi 2019 大会上，知名 Ruby 开发者 Paul Tarjan 发表了名为"State of Sorbet: A Type Checker for Ruby"的主题演讲，Paul 曾就职于 Facebook，参与过 HHVM 和 Hack 的开发工作。
Kaigi 是日语【会議】的罗马字母写法，因此我们可以将 RubyKaigi 看作是在日本举行的 RubyConf。
据 Dmitry Petrashko 的推特表示，Paul 在 RubyKaigi 2019 大会上的演讲透露了以下几点消息：
- 目前正与 Ruby 核心团队合作开发并为 Ruby 添加“静态类型”特性
- “静态类型”将会是 Ruby 3 stdlib 源码的一部分
- sorbet.org 网站已上线
- sorbet.run 提供了类似 IDE 一样的体验
Sorbet 是一个 Ruby 静态类型检查工具，不但快速而且功能强大：
- 多线程，可以在 CPU 的内核之间线性扩展。它会在几秒钟内完成类型检查，以在编码时提供反馈。
- 与编译器整合使用能提供像 IDE 一样的功能，如自动补全和跳转到定义。
- Sorbet 适用于常规的 Ruby，因此可以继续使用现有的工具链。