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.
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.
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.
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
Parabolevignette|Une parabole représentée par la fonction f(x)=x. La parabole est une courbe plane, symétrique par rapport à un axe, ayant approximativement la forme d'un U dont les branches s'écarteraient indéfiniment. Cette courbe intervient dans les problèmes les plus élémentaires de mécanique ou de mathématiques. En effet la trajectoire d'un projectile qui n'est soumis qu'à la pesanteur est une parabole, ou encore, en mathématiques, la représentation graphique des polynômes de degré 2 est une parabole.
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.
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.
Construction parasismiquethumb| La Tokyo Skytree, la deuxième plus grande tour au monde (derrière le Burj Khalifa) qui, du haut de ses , a parfaitement résisté au séisme de 2011 de magnitude 9, démontrant l'efficacité des constructions parasismiques japonaises. La construction parasismique ou construction antisismique est la réalisation de bâtiments et infrastructures résistant aux séismes. Elle implique l'étude du comportement des bâtiments et structures sujets à un chargement dynamique de type sismique.
Prestressed structureIn structural engineering, a prestressed structure is a load-bearing structure whose overall integrity, stability and security depend, primarily, on prestressing: the intentional creation of permanent stresses in the structure for the purpose of improving its performance under various service conditions.
Constructionvignette|upright|Les grues sont essentielles pour des travaux importants tels que les gratte-ciel. La construction est le fait d'assembler différents éléments d'un édifice en utilisant des matériaux et des techniques appropriées. Le secteur économique de la construction, appelé « bâtiment et travaux publics » (BTP) dans une partie de l'Europe francophone, regroupe toutes les activités de conception et de construction des bâtiments publics et privés, industriels ou non, et des infrastructures telles que les routes ou les canalisations.
