Système de types

La version imprimable n’est plus prise en charge et peut comporter des erreurs de génération. Veuillez mettre à jour les signets de votre navigateur et utiliser à la place la fonction d’impression par défaut de celui-ci.

Définition

Un système de types est un ensemble de règles qui attribue une propriété appelée type aux différentes constructions d'un programme informatique, telles que des variables, des expressions, des fonctions ou des modules.

Ces types formalisent et appliquent les stratégies implicites que le programmeur utilise pour les types de données algébriques, les structures de données ou d'autres composants (par exemple, "chaîne", "tableau de float", "fonction retournant des booléens").

Français

Système de types

Système structurel de types

Anglais

Structural type system

Sources

Source : 24pm academie