FlowJavaScript 静态类型检查

Flow是Facebook出品的一个用于JavaScript代码的静态类型检查工具。用于找出JavaScript代码中的类型错误。Flow采用OCaml语言开发。

mypy 编程语言是一个处于实验阶段的 Python 类型检查工具，旨在结合动态类型和静态类型的优点

Pyright 是微软开发的一个 Python 代码类型检查工具。Pyright 的速度是 mypy

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

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

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

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

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

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

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