Typ-Checker

• TypeScript - Ein typisiertes JavaScript-Superset, das zu Standard-JavaScript kompiliert.
• Flow.js - Ein statischer Typ-Checker für JavaScript von Facebook.
• Hegel - Ein statischer Typ-Checker für JavaScript mit Fokus auf Typinferenz und ein starkes Typsystem.
• TypL - Ein JavaScript-Typ-Linter mit Schwerpunkt auf Typinferenz.
• Hindley Milner Definitions - Laufzeit-Typüberprüfung für JavaScript-Funktionen mittels Haskell-ähnlicher Hindley-Milner-Typsignaturen.
• Zod - TypeScript-zentrierte Schema-Validierung mit integrierter statischer Typinferenz.