类型检查工具

• TypeScript - JavaScript的静态类型超集，可编译为标准JavaScript。
• Flow.js - Facebook开发的JavaScript静态类型检查工具。
• Hegel - 基于类型推断并强调强类型系统的JavaScript静态类型检查工具。
• TypL - 专注类型推断的JavaScript静态类型检查工具。
• Hindley Milner Definitions - 通过类似Haskell的Hindley Milner类型签名实现JavaScript函数运行时类型检查。
• Zod - TypeScript优先的模式验证工具，内置静态类型推断功能。