Vérificateurs de types

• TypeScript - Surcouche typée de JavaScript qui se compile en JavaScript standard.
• Flow.js - Vérificateur de types statique pour JavaScript développé par Facebook.
• Hegel - Vérificateur de types statique pour JavaScript axé sur l'inférence de types et un système de typage robuste.
• TypL - Linter de types JavaScript privilégiant l'inférence de types.
• Définitions Hindley Milner - Vérification de types à l'exécution pour les fonctions JavaScript utilisant des signatures de type Hindley Milner inspirées de Haskell.
• Zod - Validation de schémas axée TypeScript avec inférence de types statique intégrée.