问使用Sorbet的红宝石类型检查器会对红宝石应用程序的性能产生影响吗？

EN

我想，可能ruby译员也做了类似的工作，这可能意味着类型检查可能会提高口译速度。

它还没有，但有一天我们可能会建造这个。Sorbet的目标是为人们构建一个类型系统，而不是为计算机构建一个类型系统(编译器)。它可以引入一些性能开销，但是当Stripe在生产中运行它时，我们会控制它。在内部，如果开销超过cpu时间的7%，我们将分页。

我对动态类型的语言进行了一些阅读(尤其是Javascript，在本例中)，发现如果我们继续发送某些函数(例如foo)相同类型的对象，则引擎会对该函数进行一些优化工作，因此当使用相同类型再次调用它时，解释工作会更快。

是的，这是可以做到的。您所描述的是JIT编译器中常见的优化。您所指的技术使用运行时分析，实际上是一种常见的替代技术，它允许在没有类型系统的情况下实现这一结果。还值得注意的是，与类型系统相比，构建良好的JIT可以更频繁地执行，因为类型系统编码可能发生的事情，而概要分析和JIT可以为实际发生的事情进行优化。

也就是说，构建一个JIT通常比构建一个在线编译器要多得多，因此，取决于一个人想要投入多少资金来加速Ruby，无论是使用JIT还是使用类型，在不同的现实环境中都可以证明这一点更好。

我想，可能ruby译员也做了类似的工作，这可能意味着类型检查可能会提高口译速度。

总结上一段，Sorbet类型系统目前并没有加速Ruby，但它也没有减缓它的速度。类型系统确实可以用于加速语言，但它们并不是您唯一的工具，分析和JIT编译是主要的竞争对手。

您正在讨论的优化更多地应用于为ruby运行时工作的JIT。

一般来说，sorbet通过引入类型接口或方法签名来实现类型安全.它们启用在部署应用程序之前应用的静态类型检查，以消除“类型错误”。

sorbet附带了一个运行时组件，它可以在运行时对可运行的应用程序执行类型检查，但是这些组件在包装方法时会降低应用程序的性能，以便检查正确的https://sorbet.org/docs/runtime#runtime-checked-sig-s类型。