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 (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.
Objet détachéright|thumb|400px|Des objets Trans-neptuniens ayant des demi-grands axes supérieurs à 100 unités astronomiques : les objets épars (en anglais : SDO scattered-disk objects) (en gris) et les objets détachés (en blanc). Un objet détaché est un objet transneptunien du Système solaire dont le périhélie est suffisamment distant de l'influence gravitationnelle des planètes géantes, en particulier de Neptune, la plus externe, pour qu'il ait un comportement détaché (de leurs influences).
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 dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
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.
Objet transneptunienthumb|upright=1.5|Place des objets transneptuniens dans la classification des objets du système solaire. Un objet transneptunien (OTN ; en anglais transneptunian object, TNO) est une planète mineure du Système solaire dont l'orbite est, entièrement ou pour la majeure partie, au-delà de celle de la planète Neptune. La ceinture de Kuiper et le nuage d'Oort (nuage hypothétique) sont les noms de quelques subdivisions de ce volume de l'espace.
Objet célesteAn astronomical object, celestial object, stellar object or heavenly body is a naturally occurring physical entity, association, or structure that exists within the observable universe. In astronomy, the terms object and body are often used interchangeably. However, an astronomical body or celestial body is a single, tightly bound, contiguous entity, while an astronomical or celestial object is a complex, less cohesively bound structure, which may consist of multiple bodies or even other objects with substructures.
Rostov-sur-le-DonRostov-sur-le-Don (en Ростов-на-Дону, Rostov-na-Donou, prononcé ) est une ville de l'Ouest de la Russie, sur les rives du fleuve Don, à une quarantaine de kilomètres de son embouchure sur la mer d'Azov et à au sud de Moscou ( par la route). Avec une population qui s'élevait à en 2016, il s'agit de la dixième ville de Russie. Rostov-sur-le-Don est un grand centre économique, industriel et scientifique et est la capitale officieuse du sud de la Russie.
Armée de terre russeL'Armée de terre russe, officiellement nommée les Forces terrestres de la fédération de Russie (en Сухопутные войска Российской Федерации, Suhoputnye voyska Rossiyskoy Federatsii), est la composante terrestre des Forces armées de la fédération de Russie. Elle a été créée le à la suite de la dissolution de l'armée de terre soviétique. vignette|Fusiliers motorisés russes défilant à bord d'un BTR-82A en 2018.
Porte-plume (écriture)Le porte-plume est un petit manche de bois, de métal, d'ivoire, de matières plastiques, ou de tout autre matériau, à l'extrémité de laquelle est insérée une plume, en général métallique, que l'on trempe dans l'encre pour écrire ou pour dessiner. La plume tient en place soit en force par la relative élasticité du métal, soit par un petit levier incorporé au porte-plume qui permet de la bloquer ou de la débloquer facilement. Le porte-plume associé à la plume métallique a succédé à la plume d'oie utilisée traditionnellement en Occident pour l'écriture manuscrite.
Bec de plumeLe bec d’une plume d’écriture est la partie qui en forme l’extrémité et qui vient en contact avec le support, papier, parchemin ou autre. Le bec est pourvu d’une fente qui permet à ses deux parties de s’écarter plus ou moins selon la pression, produisant ainsi un tracé plus ou moins épais (plein et délié). Lorsque la plume est taillée en biseau, de manière à présenter une extrémité d’une certaine largeur, comme le calame, le bec est plus rigide et les pleins et déliés sont fonction de l’inclinaison du tracé.
