在昨日举办的 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，因此可以继续使用现有的工具链。

推荐阅读
Ruby 之父：Ruby3 有望 3 倍提速，不添加类型推断