« Système de types » : différence entre les versions
(Page créée avec « ==en construction== Catégorie:Vocabulaire Catégorie:Intelligence artificielle ==Définition== Un système de types est un ensemble de règles qui attribue une... ») Balise : Éditeur de wikicode 2017 |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
(10 versions intermédiaires par 3 utilisateurs non affichées) | |||
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 9 : | Ligne 4 : | ||
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"). | 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''' | |||
'''Système de types''' | |||
==Anglais== | ==Anglais== | ||
''' | '''Structural type system''' | ||
==Sources== | |||
[https://www.24pm.com/ia-par-secteur/117-definitions/530-systeme-de-types Source : 24pm academie] | |||
[ | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] |
Dernière version du 28 janvier 2024 à 13:51
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
Contributeurs: Imane Meziani, wiki, Sihem Kouache