Sorbet是为Ruby设计的快速，强大的类型检查器。快速且可扩展的Sorbet是多线程的，可以跨CPU的各个内核线性扩展。它可以在几秒钟内检查您的类型，并在编码时提供反馈。支持IDE的Sorbet可与您喜欢的编辑器一起使用，以提供IDE功能，例如自动完成和跳转到定义。添加到CI设置很容易。根据设计，Sorbet可以与常规Ruby一起使用，因此您可以继续使用现有的工具链。一次将Sorbet类型添加到您的代码库一个文件。冰糕的味道冰糕与Ruby 100％兼容。它类型检查正常的方法定义，并为方法签名引入向后兼容的语法。明确的方法签名使Sorbet对阅读代码的任何人（不仅仅是作者）也很有用。类型注释是编写后很长时间理解的工具。冰糕被设计为有用的，而不是繁重的。明确的错误消息，显着的安全性和生产率的提高使显式注释得到了回报。快速入门Sorbet旨在帮助您快速入门。添加并安装一些gem，初始化Sorbet，然后键入检查您的项目。Sorbet还知道项目的Gemfile中的内容，因此它知道如何为项目使用的任何gem制作或创建类型定义文件。有关如何开始使用Sorbet的更多信息，请参阅《入门指南》。Sorbet设计为交互式的，为您提供了与Ruby开发环境类似IDE的功能，包括自动完成功能，编辑器内部文档以及定义。该实现利用语言服务器协议与您喜欢的编辑器兼容。在Stripe上采用Sorbet的时间里，无数人告诉我们，在现有代码中添加类型或编写新代码感觉很交互式，例如使用类型检查器进行配对编程。人们问Sorbet问题，它会在几秒钟或更短的时间内做出响应。