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.
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.
Inférence de typesL'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. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
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.
Professeur (titre)right|thumb|Classe à l'université vers 1350, qui illustre le Professeur exécutant la lectio (lecture) sur sa chaire universitaire. Professeur ou professeure, souvent noté Pr ou Prof., est un terme utilisé comme un titre académique lié à l'histoire des universités. Il trouve ses origines dans les titulaires d'une chaire universitaire, ainsi amené à professer leurs savoirs à la manière des archevêques qui professaient depuis leur chaire ecclésiastique. Il qualifie un expert qui étudie, professe et débat de connaissances dans un art ou une science.
Antenne paraboliqueUne antenne parabolique communément appelée parabole par le grand public désigne un dispositif technique équipé d'un réflecteur permettant de capter, concentrer et focaliser les signaux provenant d'un satellite, d'une liaison hertzienne radio ou d'un émetteur de télévision terrestre, vers une « source » ou « tête de réception » équipée d'un bloc-convertisseur à faible bruit ou « LNB », destiné à être connecté par l'intermédiaire d'un câble coaxial, jusqu'à un récepteur ou un démodulateur satellite ou encore
IngénierieL'ingénierie est l'ensemble des fonctions qui mènent de la conception et des études, de l'achat et du contrôle de fabrication des équipements, à la construction et à la mise en service d'une installation technique ou industrielle. Par extension, le terme est aussi souvent utilisé dans d'autres domaines : on parle par exemple d'ingénierie informatique ou d'ingénierie financière.
Patinage artistiqueLe patinage artistique est un sport et une discipline artistique exécutés sur la glace, synthétique ou artificielle, qui développent les qualités physiques et la sensibilité artistique. Il se pratique avec des patins à lame. Ce sport est particulièrement populaire en Amérique du Nord, en Europe et en Asie, notamment au Japon. La Russie compte de nombreuses patineuses dans ses rangs. D'après Médiamétrie, c'est le seul sport à être davantage regardé par les femmes que par les hommes.
Lesson planA lesson plan is a teacher's detailed description of the course of instruction or "learning trajectory" for a lesson. A daily lesson plan is developed by a teacher to guide class learning. Details will vary depending on the preference of the teacher, subject being covered, and the needs of the students. There may be requirements mandated by the school system regarding the plan.
Antenna feedA radio transmitter or receiver is connected to an antenna which emits or receives the radio waves. The antenna feed system or antenna feed is the cable or conductor, and other associated equipment, which connects the transmitter or receiver with the antenna and makes the two devices compatible. In a radio transmitter, the transmitter generates an alternating current of radio frequency, and the feed system feeds the current to the antenna, which converts the power in the current to radio waves.
Génie mécaniqueLe génie mécanique (ou l'ingénierie mécanique) désigne l'ensemble des connaissances liées à la , au sens physique (sciences des mouvements) et au sens technique (étude des mécanismes). Ce champ de connaissances va de la conception d'un produit mécanique au recyclage de ce dernier en passant par la fabrication, la maintenance, etc. Données dans l'ordre du cycle de vie d'un produit mécanique. Conception de produit : analyse fonctionnelle, dessin industriel, conception assistée par ordinateur.
EnrobéUn enrobé (ou enrobé bitumineux ou béton bitumineux) est un mélange de graviers, de sable et de liant hydrocarboné type bitume (le goudron de houille n'étant plus utilisé en France depuis les ) appliqué en une ou plusieurs couches pour constituer la chaussée des routes, la piste des aéroports et d'autres zones de circulation. vignette|Couche de fondation d'une route en enrobé de type « grave bitume ». Un enrobé bitumineux est constitué de différents matériaux : des granulats : graviers de diamètre supérieur à 63 micromètres ; des « fines » (ou « fillers ») : sables et poussières de section inférieure à .
