Skip to content

型チェックツール

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