型チェックツール

• TypeScript - JavaScriptのスーパーセットとして設計された型付き言語で、プレーンなJavaScriptにコンパイルされます。
• Flow.js - Facebookが開発したJavaScript向け静的型チェックツール。
• Hegel - 強力な型システムと型推論を特徴とするJavaScript向け静的型チェックツール。
• TypL - 型推論に特化したJavaScript向け型リンター。
• Hindley Milner Definitions - Haskell風のHindley Milner型シグネチャを用いたJavaScript関数のランタイム型チェックを実装。
• Zod - TypeScriptファーストのスキーマ検証ライブラリで、組み込みの静的型推論機能を提供。