FlowJavaScript 静态类型检查

Pyright是微软开发的一个Python代码类型检查工具。Pyright的速度是 mypy的5倍以上。Pyright使用TypeScript开发，无需Python环境支持。官方表示创建 Pyrigh

mypy编程语言是一个处于实验阶段的Python类型检查工具，旨在结合动态类型和静态类型的优点，目标是提供一个令人印象深刻的、功能强大而且方便的Python，提供编译时的类型检查和高效地编译为原生代码

Hegel 是 JavaScript 的类型检查器，具有可选的类型注释并防止运行时类型错误。没有运行

Hegel是JavaScript的类型检查器，具有可选的类型注释并防止运行时类型错误。没有运行时类型错误。Hegel有一个强大的类型系统和健全性检查。这意味着他能发现任何可能在运行时抛出的类型错误。可

isWhat是一个非常简单且小巧的JS类型检查功能，它同样完全支持TypeScriptnpmiis-what用法is-what很容易使用，并且大多数功能都可以像你所期望的那样工作。//importfu

Sorbet，一个快速且强大的Ruby类型检查器，大部分代码都是用Ruby编写的，为Ruby开发环境提供了类似IDE的特性，包括自动完成和跳转到定义等。包括内容核心静态类型检查器创建新的Sorbet项

Pyre是一个快速、可扩展和高性能的Python类型检查工具，适用于大型的 Python3代码库，旨在通过在终端或编辑器中以交互方式标记类型错误来帮助提高代码质量和开发速度。Pyre随附了Pysa，这

Pytype 是 Google 开源的 Python 静态类型分析器。Pytype 可以：Lint

Sorbet，一个快速且强大的 Ruby 类型检查器，大部分代码都是用 Ruby 编写的，为 Rub

PureScript是个小巧而强大的静态类型语言，可以编译成JavaScript。PureScript主要是由Haskell编写的。PureScript示例代码：module Main whereim