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

Type unité

Indice Type unité

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

21 relations: C (langage), C Sharp, C++, Effet de bord (informatique), Ensemble, Haskell, Isomorphisme, Java (langage), Langage de programmation, ML (langage), Objet initial et objet final, Produit cartésien, Programmation fonctionnelle, Programmation impérative, Routine (informatique), Scala (langage), Théorie des catégories, Type (informatique), Type vide, Uplet, Void.

C (langage)

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

Nouveau!!: Type unité et C (langage) · Voir plus »

C Sharp

C# (C sharp en anglais britannique) est un langage de programmation orientée objet, commercialisé par Microsoft depuis 2002 et destiné à développer sur la plateforme Microsoft.NET, au même titre que d’autres langages liés à cette plateforme (ex. VB.NET, J#, etc.) C# est dérivé du C++ et très proche du Java dont il reprend la syntaxe générale ainsi que les concepts, y ajoutant des notions telles que la surcharge des opérateurs, les et les délégués.

Nouveau!!: Type unité et C Sharp · Voir plus »

C++

C++ est un langage de programmation compilé permettant la programmation sous de multiples paradigmes, dont la programmation procédurale, la programmation orientée objet et la programmation générique.

Nouveau!!: Type unité et C++ · Voir plus »

Effet de bord (informatique)

En informatique, une fonction est dite à effet de bord (traduction mot à mot de l'anglais side effect, dont le sens est plus proche deffet secondaire) si elle modifie un état en dehors de son environnement local, c'est-à-dire a une interaction observable avec le monde extérieur autre que retourner une valeur.

Nouveau!!: Type unité et Effet de bord (informatique) · Voir plus »

Ensemble

Ensemble de polygones dans un diagramme d'Euler En mathématiques, un ensemble désigne intuitivement un rassemblement d’objets distincts (les éléments de l'ensemble), « une multitude qui peut être comprise comme une totalité » pour paraphraser Georg Cantor qui est à l'origine de la théorie des ensembles.

Nouveau!!: Type unité et Ensemble · Voir plus »

Haskell

Haskell est un langage de programmation fonctionnel fondé sur le lambda-calcul et la logique combinatoire.

Nouveau!!: Type unité et Haskell · Voir plus »

Isomorphisme

En mathématiques, un isomorphisme entre deux ensembles structurés est une application bijective qui préserve la structure, et dont la réciproque préserve aussi la structureSi, pour beaucoup de structures en algèbre, cette seconde condition est automatiquement remplie, ce n'est pas le cas en topologie par exemple où une bijection peut être continue sans que sa réciproque le soit.

Nouveau!!: Type unité et Isomorphisme · Voir plus »

Java (langage)

Java est un langage de programmation de haut niveau orienté objet créé par James Gosling et Patrick Naughton, employés de Sun Microsystems, avec le soutien de Bill Joy (cofondateur de Sun Microsystems en 1982), présenté officiellement le au.

Nouveau!!: Type unité et Java (langage) · 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 unité et Langage de programmation · Voir plus »

ML (langage)

ML (contraction de Meta Language) est un langage de programmation généraliste fonctionnel.

Nouveau!!: Type unité et ML (langage) · Voir plus »

Objet initial et objet final

En mathématiques, et plus particulièrement en théorie des catégories, un objet initial et un objet final sont des objets qui permettent de définir une propriété universelle.

Nouveau!!: Type unité et Objet initial et objet final · Voir plus »

Produit cartésien

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

Nouveau!!: Type unité et Produit cartésien · Voir plus »

Programmation fonctionnelle

La programmation fonctionnelle est un paradigme de programmation de type déclaratif qui considère le calcul en tant qu'évaluation de fonctions mathématiques.

Nouveau!!: Type unité et Programmation fonctionnelle · Voir plus »

Programmation impérative

En informatique, la programmation impérative est un paradigme de programmation qui décrit les opérations en séquences d'instructions exécutées par l'ordinateur pour modifier l'état du programme.

Nouveau!!: Type unité et Programmation impérative · 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 unité et Routine (informatique) · Voir plus »

Scala (langage)

Scala est un langage de programmation multi-paradigme conçu à l'École polytechnique fédérale de Lausanne (EPFL) pour exprimer les modèles de programmation courants dans une forme concise et élégante.

Nouveau!!: Type unité et Scala (langage) · Voir plus »

Théorie des catégories

La théorie des catégories est l'étude des structures mathématiques et de leurs relations.

Nouveau!!: Type unité et Théorie des catégories · 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 unité et Type (informatique) · Voir plus »

Type vide

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

Nouveau!!: Type unité et Type vide · Voir plus »

Uplet

Coordonnées XYZ. Basé sur le travail d'InductiveLoad En mathématiques, un uplet (désigné aussi par liste, famille finie, ou suite finie) est une collection ordonnée finie d'objets.

Nouveau!!: Type unité et Uplet · Voir plus »

Void

En programmation informatique, void est un mot-clé que l'on retrouve dans le langage C (qui signifie "vide" ou "nul") et plusieurs autres langages de programmation, comme le C++, le C# ou le Java.

Nouveau!!: Type unité et Void · Voir plus »

Redirections ici:

Type unite.

SortantEntrants
Hey! Nous sommes sur Facebook maintenant! »