Sorbet结束实验阶段并正式对外开源 具有静态和动态的类型检查功能

Sorbet是Ruby的类型检查工具，是一种由在线支付服务Stripe构建的编程语言，现在是开源的。由于Stripe中的大多数代码都是用Ruby编写的，为了检测代码中的不一致类型，它会带来潜在的安全风险。经过一年半的时间，Sorbet得以开发，现在实验阶段结束并正式完成。开源外部世界。

开发人员将在程序中定义变量的类型，以及函数返回的类型，并且在很多情况下，开发人员会编写不连贯的代码，例如在字符串类型变量中使用Map方法，这种情况将使程序成为异常，并且在动态类型编程语言中，需要在执行期间引发此类错误，并且类型检查工具可以分析代码以帮助开发人员发现问题。

因为Ruby具有松散的语法和猴子修补功能，它允许开发人员快速组合强大的应用程序，但代码也会有很多疑点或混淆，而Sorbet则用于解决这个问题。问题是增加Ruby代码的稳定性和清晰度。

Stripe现已发布的Sorbet项目包括核心静态检查工具，创建Sorbet项目的工具，逐步采用Sorbet工具的开发人员，用于编写类型注释的Runtime DSL，以及用于共享Ruby套件类型定义的中央存储库。

Sorbet还具有静态和动态类型检查功能。仲博爱心之家开发人员可以使用命令行工具来操作Sorbet，静态分析项目以查找代码中的潜在错误，并使用Sorbet Runtime工具，这是一个Ruby套件。可以在执行代码时动态检测类型。 Stripe现在是Sorbet的开源软件，它还要求开发人员加入贡献行列，以帮助奖励和修复错误。