Accès plus rapide que le navigateur!
41 relations: Bibliothèque standard du C, Bit, Booléen, C (langage), Cambridge University Press, Caractère (informatique), Chaîne de caractères, Classe (informatique), Clé (structure de données), Compilateur, Constructeur (programmation), Conversion de type, Descripteur de fichier, Destructeur, Donnée (informatique), Entier (informatique), Environnement d'exécution, Généricité, Haskell, Henk Barendregt, Inférence de types, Java (langage), Microsoft Windows, Nombre réel, OCaml, Opérateur (informatique), Paramètre (programmation informatique), Pascal (langage), Pointeur (programmation), Processeur, Programmation informatique, Programmation orientée objet, Sûreté du typage, Structure de données, Tableau (structure de données), Théorie des types, Typage dynamique, Typage fort, Typage statique, Unix, Virgule flottante.
Bibliothèque standard du C
La bibliothèque standard du C est une collection maintenant normalisée d'en-têtes et de routines utilisées pour implémenter des opérations courantes, telles que les entrées/sorties et la gestion des chaînes de caractères, dans le langage C. Au contraire d'autres langages comme Pascal et PL/I, C n'inclut pas de mots-clés pour ces tâches, donc presque tous les programmes écrits en C utilisent la bibliothèque standard, ne serait-ce que pour afficher un résultat.
Nouveau!!: Type (informatique) et Bibliothèque standard du C · Voir plus »
Bit
Le bit est l'unité la plus simple dans un système de numération, ne pouvant prendre que deux valeurs, désignées le plus souvent par les chiffres 0 et 1.
Nouveau!!: Type (informatique) et Bit · Voir plus »
Booléen
George Boole (1864-1865) L'homme ayant mis en place la première structure algébrique utilisée en logique mathématique, en informatique et en électronique. En programmation informatique, un booléen est un type de variable à deux états (généralement notés vrai et faux), destiné à représenter les valeurs de vérité de la logique et l'algèbre booléenne.
Nouveau!!: Type (informatique) et Booléen · Voir plus »
C (langage)
C est un langage de programmation impératif, généraliste et de bas niveau.
Nouveau!!: Type (informatique) et C (langage) · Voir plus »
Cambridge University Press
Cambridge University Press ou CUP (en français, Presses universitaires de Cambridge) est une maison d'édition universitaire britannique rattachée à l’université de Cambridge.
Nouveau!!: Type (informatique) et Cambridge University Press · Voir plus »
Caractère (informatique)
En informatique, un caractère est.
Nouveau!!: Type (informatique) et Caractère (informatique) · Voir plus »
Chaîne de caractères
En informatique, une chaîne de caractères est à la fois conceptuellement une suite ordonnée de caractères et physiquement une suite ordonnée d' unités de code (code unit).
Nouveau!!: Type (informatique) et Chaîne de caractères · Voir plus »
Classe (informatique)
En programmation orientée objet, la déclaration d'une classe regroupe des membres, méthodes et propriétés (attributs) communs à un ensemble d'objets.
Nouveau!!: Type (informatique) et Classe (informatique) · Voir plus »
Clé (structure de données)
En génie logiciel, la clé d'un objet est souvent un petit fragment de données, qui permet soit d'identifier un objet, soit de comparer entre eux des objets du même type.
Nouveau!!: Type (informatique) et Clé (structure de données) · Voir plus »
Compilateur
En informatique, un compilateur est un programme qui transforme un code source en un code objet.
Nouveau!!: Type (informatique) et Compilateur · Voir plus »
Constructeur (programmation)
constructeur PMI Un constructeur est, en programmation orientée objet, une fonction particulière appelée lors de l'instanciation.
Nouveau!!: Type (informatique) et Constructeur (programmation) · Voir plus »
Conversion de type
En informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible).
Nouveau!!: Type (informatique) et Conversion de type · Voir plus »
Descripteur de fichier
En informatique, un descripteur de fichier (file descriptor en anglais) est une clé abstraite pour accéder à un fichier (c'est un entier).
Nouveau!!: Type (informatique) et Descripteur de fichier · Voir plus »
Destructeur
En programmation orientée objet, le destructeur d'une classe est une méthode spéciale lancée lors de la destruction d'un objet afin de récupérer les ressources (principalement la mémoire vive) réservée dynamiquement lors de l'instanciation de l'objet.
Nouveau!!: Type (informatique) et Destructeur · Voir plus »
Donnée (informatique)
En informatique, une donnée est la représentation d'une information dans un programme: soit dans le texte du programme (code source), soit en mémoire durant l'exécution.
Nouveau!!: Type (informatique) et Donnée (informatique) · Voir plus »
Entier (informatique)
En informatique, un entier est un type de donnée qui représente un sous-ensemble fini de nombres entiers relatifs.
Nouveau!!: Type (informatique) et Entier (informatique) · Voir plus »
Environnement d'exécution
Un environnement d'exécution ou runtime est un logiciel responsable de l'exécution des programmes informatiques écrits dans un langage de programmation donné Christoph Zimmermann,Advances in Object-Oriented Metalevel Architectures and Reflection,CRC Press - 1996,.
Nouveau!!: Type (informatique) et Environnement d'exécution · 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 (informatique) et Généricité · Voir plus »
Haskell
Haskell est un langage de programmation fonctionnel fondé sur le lambda-calcul et la logique combinatoire.
Nouveau!!: Type (informatique) et Haskell · Voir plus »
Henk Barendregt
Hendrik Pieter (Henk) Barendregt, né en 1947 est un mathématicien néerlandais spécialisé dans la logique mathématique.
Nouveau!!: Type (informatique) et Henk Barendregt · Voir plus »
Inférence de types
L'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source.
Nouveau!!: Type (informatique) et Inférence de types · 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 (informatique) et Java (langage) · Voir plus »
Microsoft Windows
(littéralement « Fenêtres » en anglais) est au départ une interface graphique unifiée produite par Microsoft, qui est devenue ensuite une gamme de systèmes d’exploitation à part entière, principalement destinés aux ordinateurs compatibles PC.
Nouveau!!: Type (informatique) et Microsoft Windows · Voir plus »
Nombre réel
En mathématiques, un nombre réel est un nombre qui peut être représenté par une partie entièreCette partie entière par troncature, désignant les chiffres « à gauche de la virgule » ne correspond pas forcément à la partie entière par défaut: dans le cas d’un nombre réel négatif comme, la partie entière par défaut vaut.
Nouveau!!: Type (informatique) et Nombre réel · 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 (informatique) et OCaml · Voir plus »
Opérateur (informatique)
En programmation informatique, un opérateur est une fonction spéciale dont l'identificateur s'écrit généralement avec des caractères non autorisés pour l'identificateur des fonctions ordinaires.
Nouveau!!: Type (informatique) et Opérateur (informatique) · Voir plus »
Paramètre (programmation informatique)
En programmation informatique, un paramètre est une donnée manipulée par une section de code (voir: sous-programme, fonction, méthode) et connue du code appelant cette section.
Nouveau!!: Type (informatique) et Paramètre (programmation informatique) · Voir plus »
Pascal (langage)
Pascal est un langage de programmation impératif qui, conçu pour l'enseignement, se caractérise par une syntaxe claire, rigoureuse et facilitant la structuration des programmes.
Nouveau!!: Type (informatique) et Pascal (langage) · Voir plus »
Pointeur (programmation)
En programmation informatique, un pointeur est un objet qui contient l'adresse mémoire d'une donnée ou d'une fonction.
Nouveau!!: Type (informatique) et Pointeur (programmation) · Voir plus »
Processeur
Processeur intel-core i7-12700KF Un processeur (ou unité centrale de calcul, UCC; en anglais central processing unit, CPU) est un composant présent dans de nombreux dispositifs électroniques qui exécute les instructions machine des programmes informatiques.
Nouveau!!: Type (informatique) et Processeur · Voir plus »
Programmation informatique
Liste d'instructions sur le Commodore 64 La programmation, appelée aussi codage dans le domaine informatique, désigne l'ensemble des activités qui permettent l'écriture des programmes informatiques.
Nouveau!!: Type (informatique) et Programmation informatique · Voir plus »
Programmation orientée objet
Schéma proposant un exemple de programmation orientée objet. La programmation orientée objet (POO), ou programmation par objet, est un paradigme de programmation informatique.
Nouveau!!: Type (informatique) et Programmation orientée objet · Voir plus »
Sûreté du typage
La sûreté du typage est un principe permettant d'améliorer la qualité de la programmation.
Nouveau!!: Type (informatique) et Sûreté du typage · Voir plus »
Structure de données
En informatique, une structure de données est une manière d'organiser les données pour les traiter plus facilement.
Nouveau!!: Type (informatique) et Structure de données · Voir plus »
Tableau (structure de données)
En informatique, un tableau est une structure de données représentant une séquence finie d'éléments auxquels on peut accéder efficacement par leur position, ou indice, dans la séquence.
Nouveau!!: Type (informatique) et Tableau (structure de données) · 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 (informatique) et Théorie des types · Voir plus »
Typage dynamique
Le typage dynamique est une technique utilisée dans certains langages de programmation pour assigner le type de la valeur dénotée par la variable durant l'exécution du code.
Nouveau!!: Type (informatique) et Typage dynamique · Voir plus »
Typage fort
En informatique, un langage de programmation est dit fortement typé lorsqu'il garantit que les types de données employés décrivent correctement les données manipulées.
Nouveau!!: Type (informatique) et Typage fort · Voir plus »
Typage statique
Le typage statique est une technique utilisée dans certains langages de programmation impératifs (C++, Java, Pascal, ou même Visual Basic avec lOption Explicit) pour associer à un symbole dénotant une variable le type de la valeur dénotée par la variable; et dans certains langages de programmation fonctionnels (ML, OCaml, Haskell, PureScript, etc.) pour associer à une fonction (un calcul) le type de son paramètre et le type de la valeur calculée.
Nouveau!!: Type (informatique) et Typage statique · Voir plus »
Unix
Unix, officiellement UNIX, est une famille de systèmes d'exploitation multitâche et multi-utilisateur dérivé de l'Unix d'origine créé par AT&T, le développement de ce dernier ayant commencé dans les années 1970 au centre de recherche de Bell Labs mené par Kenneth Thompson.
Nouveau!!: Type (informatique) et Unix · Voir plus »
Virgule flottante
exposant. La virgule flottante est une méthode d'écriture de nombres fréquemment utilisée dans les ordinateurs, équivalente à la notation scientifique en numération binaire.
Nouveau!!: Type (informatique) et Virgule flottante · Voir plus »
Redirections ici:
Système de type, Système de types, Typage, Typage faible, Type composé, Type de donnée, Type de données, Type opaque, Types de données.
