typechecker

TypeScript 是 JavaScript 的超集，编译后生成干净的 JavaScript 代码

Python 的可选静态类型

快速的 Python 类型检查器与语言服务器

Python 代码的静态类型分析器

正确且高效的 TypeScript 类型检查器与编译器，并包含额外的实验性功能

Ruby 的静态类型检查器

极速的 Vue.js 工具链。包含编译器、Linter、类型检查器、格式化工具、LSP、Story 系统与编辑器扩展功能。已通过 13k+ 测试套件，包含真实世界的 E2E 测试。

对常见的 SQL 方言进行静态类型检查，并将其转译为各种 RDBMS 后端

🏝 通过 Elixir 函数与 Mock 的类型检查来实现自动化合约测试

用于整合测试与数据验证的 Python 3.5+ 运行时类型检查工具。