« Système de types » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 1 : | Ligne 1 : | ||
==Définition== | ==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. | 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. | ||
| Ligne 25 : | Ligne 21 : | ||
[https://www.24pm.com/ia-par-secteur/117-definitions/530-systeme-de-types Source : 24pm academie] | [https://www.24pm.com/ia-par-secteur/117-definitions/530-systeme-de-types Source : 24pm academie] | ||
[[Catégorie:Vocabulaire]] | |||
[[Catégorie:Intelligence artificielle]] | |||
[[Catégorie:24pm]] | |||
[[Catégorie:Scotty]] | |||
Version du 3 mai 2020 à 22:57
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 loc, nom. masc.
Système structurel de types loc, nom. masc.
Anglais
Structural type system
Contributeurs: Imane Meziani, wiki, Sihem Kouache
