HypeScript - una implementación simple del sistema de tipos de TypeScript

• Implementado con Type Annotation de TypeScript, sin código de runtime
• Al pasar código TypeScript como string al genérico TypeCheck, se pueden verificar errores de tipos
• Solo soporta una parte de la sintaxis (variables, funciones, arreglos, objetos, métodos, tipo de retorno de funciones...)