Ruby
更新
如果您正在寻找静态类型的检查器，请检查。 它是用Ruby编写的，这使得Ruby开发人员更容易上手。
更新2：签出 ，这是Stripe的项目。
其他资源
，
，
想象
这应该是一个实际的项目，而不是纯粹的学术性项目。 为此，它应该提供易于安装的Ruby宝石（不需要OCaml或C库）。 这是可行的，请参阅Flow如何编译每个平台的二进制文件并上传到GitHub和npm。
可以静态检查的所有内容均应静态检查，而不能进行动态检查重复。 静态类型检查不应对性能产生任何负面影响，例如没有wrap: false 。
类型检查器应该可以使用，而无需像Flow那样修改代码。 认为在没有提供类型签名的情况下查找类型错误可能没有那么有效。
标准库和顶级gem应该有类型签名。 签名应该生活在独立的存储设备，因此它们可以被其他项目，如重复使用或typed.rb或Ruby3;） 。 另外，我们
评论0