Type System
Un système de types assigne des types aux expressions et détecte les erreurs de type à la compilation, prévenant les défaillances d'exécution liées aux types.
Objectif
Intercepter les erreurs de type à la compilation, apportant sûreté et documentation — le cœur des langages à typage statique.
Mécanisme
Les règles de typage assignent des types aux expressions ; le vérificateur de types les valide. Typage fort : pas de conversions dangereuses implicites. Statique : vérifié à la compilation. Typage graduel (TypeScript) permet des échappatoires dynamiques. L'inférence (Hindley-Milner) dérive les types automatiquement.
Cas d’usage
- Sûreté à la compilation
- Base de l'inférence de types
- Conception de langages