Logo
Unionpédia
Communication
Disponible sur Google Play
Nouveau! Téléchargez Unionpédia sur votre appareil Android™!
Télécharger
Accès plus rapide que le navigateur!
 

Type algébrique de données

Indice Type algébrique de données

Un type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (‐uplets ou enregistrements) et des types sommes (union disjointe).

28 relations: Arbre enraciné, Bug (informatique), C (langage), Enregistrement (structure de données), Enseigne (carte à jouer), Filtrage par motif, Généricité, Injection (mathématiques), Langage de programmation, Liste (informatique), OCaml, Polymorphisme (informatique), Produit cartésien, Produit vide, Réunion disjointe, Routine (informatique), Somme vide, Système nominatif de types, Système structurel de types, Tableau associatif, Théorie des ensembles, Théorie des types, Type (informatique), Type abstrait, Type énuméré, Type récursif, Type unité, Type vide.

Arbre enraciné

En théorie des graphes, un arbre enraciné ou une arborescence est un graphe acyclique orienté possédant une unique racine, et tel que tous les nœuds sauf la racine ont un unique parent.

Nouveau!!: Type algébrique de données et Arbre enraciné · Voir plus »

Bug (informatique)

MacIntosh d'Apple. En informatique, un bug (prononcé en français: Prononciation en français européen retranscrite phonémiquement selon la norme API.) ou bogueRecommandé en France par la Délégation générale à la langue française et aux langues de France (DGLFLF), au Canada et en Belgique.

Nouveau!!: Type algébrique de données et Bug (informatique) · Voir plus »

C (langage)

C est un langage de programmation impératif, généraliste et de bas niveau.

Nouveau!!: Type algébrique de données et C (langage) · Voir plus »

Enregistrement (structure de données)

En programmation, un enregistrement est une structure de données qui rassemble plusieurs champs, ceux-ci contenant des valeurs qui peuvent être de types différents.

Nouveau!!: Type algébrique de données et Enregistrement (structure de données) · Voir plus »

Enseigne (carte à jouer)

grelot d'un paquet au portrait de Saxe, utilisé en Allemagne. L'enseigne, le grelot, est représentée neuf fois dans chaque moitié de carte afin d'indiquer sa valeur, neuf. Dans le domaine des cartes à jouer, l’enseigne d'une carte, en français courant sa couleur, est la suite à laquelle elle appartient.

Nouveau!!: Type algébrique de données et Enseigne (carte à jouer) · Voir plus »

Filtrage par motif

Le filtrage par motif est la vérification de la présence de constituants d'un motif par un programme informatique, ou parfois par un matériel spécialisé.

Nouveau!!: Type algébrique de données et Filtrage par motif · Voir plus »

Généricité

En programmation, la généricité (ou programmation générique), consiste à définir des algorithmes identiques opérant sur des données de types différents.

Nouveau!!: Type algébrique de données et Généricité · Voir plus »

Injection (mathématiques)

Une application f est dite injective ou est une injection si tout élément de son ensemble d'arrivée a au plus un antécédent par f, ce qui revient à dire que deux éléments distincts de son ensemble de départ ne peuvent pas avoir la même image par f. Lorsque les ensembles de départ et d'arrivée de f sont tous les deux égaux à la droite réelle ℝ, f est injective si et seulement si son graphe intersecte toute droite horizontale en au plus un point.

Nouveau!!: Type algébrique de données et Injection (mathématiques) · Voir plus »

Langage de programmation

Fragment de code écrit dans le langage de programmation JavaScript. Un langage de programmation est un langage informatique destiné à formuler des algorithmes et produire des programmes informatiques qui les appliquent.

Nouveau!!: Type algébrique de données et Langage de programmation · Voir plus »

Liste (informatique)

En informatique, une liste est une structure de données permettant de regrouper des données de manière à pouvoir y accéder librement (contrairement aux files et aux piles, dont l'accès se fait respectivement en mode FIFO et LIFO).

Nouveau!!: Type algébrique de données et Liste (informatique) · Voir plus »

OCaml

OCaml, anciennement connu sous le nom d'Objective Caml, est l'implémentation la plus avancée du langage de programmation Caml, créé par Xavier Leroy, Jérôme Vouillon,, Didier Rémy et leurs collaborateurs en 1996.

Nouveau!!: Type algébrique de données et OCaml · Voir plus »

Polymorphisme (informatique)

En informatique et en théorie des types, le polymorphisme, du grec ancien polús (plusieurs) et morphê (forme), est le concept consistant à fournir une interface unique à des entités pouvant avoir différents types.

Nouveau!!: Type algébrique de données et Polymorphisme (informatique) · Voir plus »

Produit cartésien

Illustration d'un produit cartésien A x B où A.

Nouveau!!: Type algébrique de données et Produit cartésien · Voir plus »

Produit vide

En mathématiques, le produit vide est le résultat d'une multiplication d'aucun nombre.

Nouveau!!: Type algébrique de données et Produit vide · Voir plus »

Réunion disjointe

En mathématiques, la réunion disjointe est une opération ensembliste.

Nouveau!!: Type algébrique de données et Réunion disjointe · Voir plus »

Routine (informatique)

En informatique, une routine est une entité informatique qui encapsule une portion de code (une séquence d'instructions) effectuant un traitement spécifique bien identifié (asservissement, tâche, calcul) relativement indépendant du reste du programme, et qui peut être réutilisé dans le même programme, ou dans un autre.

Nouveau!!: Type algébrique de données et Routine (informatique) · Voir plus »

Somme vide

En mathématiques, la somme vide est le résultat d'une addition d'aucun nombre.

Nouveau!!: Type algébrique de données et Somme vide · Voir plus »

Système nominatif de types

Un système nominatif de types est une classe majeure de système de types en programmation informatique.

Nouveau!!: Type algébrique de données et Système nominatif de types · Voir plus »

Système structurel de types

En programmation informatique, un système structurel de types est une classe majeure de système de types, dans laquelle la compatibilité et l'équivalence de type est déterminée par la structure du type et non par des déclarations explicites.

Nouveau!!: Type algébrique de données et Système structurel de types · Voir plus »

Tableau associatif

En informatique, un tableau associatif (aussi appelé dictionnaire ou table d'association) est un type de données associant à un ensemble de clefs, un ensemble correspondant de valeurs.

Nouveau!!: Type algébrique de données et Tableau associatif · Voir plus »

Théorie des ensembles

La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du.

Nouveau!!: Type algébrique de données et Théorie des ensembles · Voir plus »

Théorie des types

En mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques.

Nouveau!!: Type algébrique de données et Théorie des types · Voir plus »

Type (informatique)

Présentation des principaux '''types de données'''. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués.

Nouveau!!: Type algébrique de données et Type (informatique) · Voir plus »

Type abstrait

En informatique, un type de donnée abstrait (en anglais, abstract data type ou ADT) est une spécification mathématique d'un ensemble de données et de l'ensemble des opérations qu'on peut effectuer sur elles.

Nouveau!!: Type algébrique de données et Type abstrait · Voir plus »

Type énuméré

En programmation informatique, un type énuméré (appelé souvent énumération ou juste enum, parfois type énumératif ou liste énumérative) est un type de données qui consiste en un ensemble de valeurs constantes.

Nouveau!!: Type algébrique de données et Type énuméré · Voir plus »

Type récursif

En programmation informatique et théorie des types, un type récursif est un type de données dont la définition fait appel au type lui‐même, de façon récursive.

Nouveau!!: Type algébrique de données et Type récursif · Voir plus »

Type unité

Un type unité est un type mathématique avec une seule valeur.

Nouveau!!: Type algébrique de données et Type unité · Voir plus »

Type vide

Le type vide est en théorie des types un type qui ne comporte pas de valeurs.

Nouveau!!: Type algébrique de données et Type vide · Voir plus »

Redirections ici:

Récursivité structurelle, Type algebrique de donnees, Type algébrique, Type algébrique généralisé, Type produit, Type somme.

SortantEntrants
Hey! Nous sommes sur Facebook maintenant! »