Verificadores de Tipos

• TypeScript - Superset tipado de JavaScript que se compila a JavaScript estándar.
• Flow.js - Verificador estático de tipos para JavaScript desarrollado por Facebook.
• Hegel - Verificador estático de tipos para JavaScript con énfasis en inferencia de tipos y sistema de tipos fuertes.
• TypL - Linter de tipos para JavaScript con énfasis en inferencia de tipos.
• Hindley Milner Definitions - Validación de tipos en tiempo de ejecución para funciones de JavaScript usando firmas de tipo Hindley Milner similares a las de Haskell.
• Zod - Validación de esquemas centrado en TypeScript con inferencia de tipos estática integrada.