Type (informatique)vignette|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. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
Type récursifEn 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. Cela permet entre autres des structures de données qui contiennent des sous‐structures du même type. Cette notion s'applique naturellement dans l'étude des listes et des arbres. Type algébrique de données Les types algébriques sont de loin la forme la plus courante de types récursifs. Un exemple classique est le type liste.
Array (data type)In computer science, array is a data type that represents a collection of elements (values or variables), each selected by one or more indices (identifying keys) that can be computed at run time during program execution. Such a collection is usually called an array variable or array value. By analogy with the mathematical concepts vector and matrix, array types with one and two indices are often called vector type and matrix type, respectively. More generally, a multidimensional array type can be called a tensor type, by analogy with the physical concept, tensor.
Composite data typeIn computer science, a composite data type or compound data type is any data type which can be constructed in a program using the programming language's primitive data types and other composite types. It is sometimes called a structure or aggregate type, although the latter term may also refer to arrays, lists, etc. The act of constructing a composite type is known as composition. Composite data types are often contrasted with scalar variables. A struct is C's and C++'s notion of a composite type, a datatype that composes a fixed set of labeled fields or members.
Booléenvignette|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. Il est nommé ainsi d'après George Boole, fondateur dans le milieu du de l'algèbre portant son nom. Le type de données booléen est principalement associé à des états conditionnels.
Chaîne de caractèresEn 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). La chaîne de caractères est un type de donnée dans de nombreux langages informatiques. La traduction en anglais est string. À l'époque des pionniers, on a communément confondu chaîne de caractères et chaîne d'octets, ce qui prête aujourd'hui à confusion, lorsque l'on ne veut pas se limiter à 255 caractères.
Generalized algebraic data typeIn functional programming, a generalized algebraic data type (GADT, also first-class phantom type, guarded recursive datatype, or equality-qualified type) is a generalization of parametric algebraic data types. In a GADT, the product constructors (called data constructors in Haskell) can provide an explicit instantiation of the ADT as the type instantiation of their return value. This allows defining functions with a more advanced type behaviour.
Matrices de PauliLes matrices de Pauli, développées par Wolfgang Pauli, forment, au facteur i près, une base de l'algèbre de Lie du groupe SU(2). Elles sont définies comme l'ensemble de matrices complexes de dimensions suivantes : (où i est l’unité imaginaire des nombres complexes). Ces matrices sont utilisées en mécanique quantique pour représenter le spin des particules, notamment dès 1927 dans l'étude non-relativiste du spin de l'électron : l'équation de Pauli.
Matrice de DiracLes matrices de Dirac sont des matrices qui furent introduites par Paul Dirac, lors de la recherche d'une équation d'onde relativiste de l'électron. Le pendant relativiste de l'équation de Schrödinger est l'équation de Klein-Gordon. Celle-ci décrit des particules de spin 0 et ne convient pas pour les électrons qui sont de spin 1/2. Dirac essaya alors de trouver une équation linéaire comme celle de Schrödinger sous la forme : où est une fonction d'onde vectorielle, la masse de la particule, l'hamiltonien, sont respectivement un vecteur de matrices hermitiques et une matrice hermitique, et i désigne l'unité imaginaire.
SNOBOLSNOBOL (abréviation de StriNg Oriented symBOlic Language) est un langage de programmation basé sur le traitement des chaînes de caractères. Il a été défini entre 1960 et 1962 dans les Laboratoires Bell. Il est resté confidentiel jusqu'à sa version 4 (SNOBOL4), qui a connu la célébrité grâce à son algorithme de filtrage par motif très puissant ; par contre sa syntaxe était très liée à la technologie des cartes perforées, et un programme en SNOBOL était illisible une fois écrit.
Higher-dimensional gamma matricesIn mathematical physics, higher-dimensional gamma matrices generalize to arbitrary dimension the four-dimensional Gamma matrices of Dirac, which are a mainstay of relativistic quantum mechanics. They are utilized in relativistically invariant wave equations for fermions (such as spinors) in arbitrary space-time dimensions, notably in string theory and supergravity. The Weyl–Brauer matrices provide an explicit construction of higher-dimensional gamma matrices for Weyl spinors.
Cls (commande)En informatique, la commande cls (pour ear creen en anglais) est utilisée pour effacer l'affichage. Elle est disponible avec l'interface en ligne de commande de nombreux systèmes d'exploitation mais aussi en tant qu'instruction avec certains langages de programmation comme le BASIC. Pour le langage de programmation BASIC, l'instruction CLS (noté en majuscule avec les premières versions du langage) est traduite par l'interpréteur en routine compréhensible par la machine. cls est une commande interne au programme command.
COMMANDCOMMAND (programme exécutable : COMMAND.COM) est un interpréteur de commandes standard pour les systèmes compatibles MS-DOS comme PC-DOS et IBM-DOS. Il est livré par défaut avec ces systèmes. Il existe d'autres interpréteurs pour les systèmes MS-DOS ultérieurs à ce logiciel, notamment 4DOS qui lui ajoute des fonctionnalités supplémentaires. On ne les confondra pas avec Cmd, qui est l'interpréteur de commande standard des systèmes postérieurs à MS-DOS comme Windows NT (Windows 2000, Windows XP...) et OS/2.
Cd (commande)cd (ou parfois chdir, abréviation de l'anglais change directory) est une commande informatique disponible dans les interfaces en ligne de commande pour changer de répertoire courant. chdir est un appel système qui modifie l'attribut current working directory du processus qui l'invoque, cette fonction n'est pas un programme à part, et elle est intégrée à l'interpréteur de commandes. On spécifie comme premier paramètre le répertoire où l'on désire aller : >cdExemples:> cd /home $> cd home Lorsque le répertoire n'est pas spécifié, le répertoire personnel de l'utilisateur qui a lancé la commande est choisi. DirLa commande dir permet d'afficher le contenu d'un répertoire sous DOS. Pour l’interpréteur de commandes PowerShell, l'instruction dir et ls sont des alias de la commandelette Get-ChildItem. L'équivalent de cette commande sous Linux est ls ou vdir. dir : affiche le contenu du répertoire courant. dir c: : affiche le contenu de c: dir /w : affiche le contenu du répertoire courant sur cinq colonnes. dir /? : donne l'aide de la commande dir. dir /s : Affiche les fichiers d'un répertoire et de ses sous-répertoires.
DonnéeUne donnée est ce qui est connu et qui sert de point de départ à un raisonnement ayant pour objet la détermination d'une solution à un problème en relation avec cette donnée. Cela peut être une description élémentaire qui vise à objectiver une réalité, le résultat d'une comparaison entre deux événements du même ordre (mesure) soit en d'autres termes une observation ou une mesure. La donnée brute est dépourvue de tout raisonnement, supposition, constatation, probabilité.
Commande DOSLes systèmes DOS sont fournis en standard avec un nombre réduit de commandes, essentiellement destinées à la gestion des disques et des fichiers (d'où le D pour Disk, ou disque en français). Il existe des commandes internes (contenues dans l'interpréteur) et des commandes externes (il faut les charger à partir d'une disquette). Les commandes DOS peuvent s'exécuter de manière interactive au sein de l'interface en ligne de commande ou en traitement par lot depuis un fichier de script portant l’extension .bat.
Éditeur de texteUn éditeur de texte est un logiciel destiné à la création et l'édition de fichiers textes. Chaque système d'exploitation fournit un éditeur, tant son usage est courant, voire indispensable pour certaines tâches informatiques de base comme l'administration de système et le développement de logiciels. thumb|Une chasse fixe conduit à un alignement vertical des caractères, où le i est aussi large que le w.
