Type System
Un sistema de tipos asigna tipos a las expresiones y detecta errores de tipo en compilación, previniendo fallos en ejecución relacionados con tipos.
Propósito
Capturar errores de tipo en compilación, aportando seguridad y documentación — el núcleo de los lenguajes tipados estáticamente.
Mecanismo
Las reglas de tipado asignan tipos a las expresiones; el verificador de tipos las valida. Tipado fuerte: sin conversiones inseguras implícitas. Estático: verificado en compilación. Tipado gradual (TypeScript) permite válvulas de escape dinámicas. La inferencia (Hindley-Milner) deriva tipos automáticamente.
Casos de uso
- Seguridad en tiempo de compilación
- Base de la inferencia de tipos
- Diseño de lenguajes