# Type Checkers

  • TypeScript - A typed superset of JavaScript that compiles to plain JavaScript.
  • Flow.js - A static type checker for JavaScript from Facebook.
  • Hegel - A static type checker for JavaScript with a bias on type inference an strong type system.
  • TypL - the JavaScript Type Linter with a bias on type inference.
  • Hindley Milner Definitions - runtime type checking for JavaScript functions using Haskell-alike Hindley Milner type signatures.