Trainvignette|Un train de voyageurs en Croatie circulant sur une ligne non électrifiée. Le train est un matériel roulant ferroviaire assurant le transport de personnes ou de marchandises sur une ligne de chemin de fer. Par extension, on appelle train le service que constitue chacun de ces transports, réguliers ou non. Le train est un mode de transport, s'effectuant sur voie ferrée.
Locomotivethumb|upright=1.2|Locomotive à vapeur Pacific 231 G. thumb|upright=1.2|Locomotive Diesel Série 59 (Belgique). thumb|upright=1.2|Locomotive électrique CC 6500. Une locomotive est un véhicule ferroviaire qui fournit l'énergie motrice d'un train. L'adjectif substantivé est originaire du latin loco - « venant d'un lieu », ablatif de « locus », lieu - et du latin médiéval motivus, « qui provoque le mouvement ».
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.
Locomotive DieselUne locomotive Diesel est une locomotive dont l'énergie de traction provient d'un moteur diesel interne. On en distingue plusieurs types, selon la façon dont la puissance fournie par le moteur est transmise aux essieux. vignette|Locomotive Diesel-électriqueCC 72084 en livrée Arzens d'origine. vignette|upright|262 AD1 et BD1 (PLM) En France, le réseau PLM utilisa dès 1932 quatre locomotives de différents constructeurs résultant d'un concours pour la fourniture de locomotives prototypes destinée à la remonte des rames de voyageur, dans un premier temps, pour étudier les possibilités de la traction Diesel.
Théorie des typesEn 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. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Locomotive-tendervignette|Vue en coupe longitudinale d'une locomotive-tender, conçue par M. G. Laudet en 1876 (conservatoire national des Arts et Métiers) Une locomotive-tender est une locomotive à vapeur dont les réserves d'eau et de combustible ne sont pas emportées sur un tender tracté, mais sur la locomotive elle-même. Sur ce type de locomotive, les réservoirs d'eau (appelés aussi caisses à eau) sont disposés de chaque côté de la chaudière à l'emplacement des tabliers.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
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).
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
