La vérification de type est utilisée pour vérifier un programme avant son exécution. Elle vérifie les valeurs et la syntaxe des types de données. L'objectif principal d'un système de types dans un langage de programmation est de réduire la probabilité de bogues dus à des erreurs de types dans les programmes.
type checker (vérificateur de type)
Le contrôle de type est utilisé pour vérifier un programme avant son exécution. Il vérifie les valeurs des types de données et la syntaxe. L'objectif principal d'un système de types dans un langage de programmation est de réduire la probabilité de bogues dans un programme en raison d'erreurs de type.
Ask questions and help your peers Developer Forums
Write your own tutorials or read those from others Learning Library