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.
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.
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.
Designvignette|Chaise de Charles Rennie Mackintosh, 1897. Le design, le stylisme ou la stylique est une activité de création souvent à vocation industrielle ou commerciale, pouvant s’orienter vers les milieux sociaux, politiques, scientifiques et environnementaux. Le but premier du design est d’inventer, d’améliorer ou de faciliter l’usage ou le processus d’un élément ayant à interagir avec un produit ou un service matériel ou virtuel.
Mise en pagevignette|400px|Exemple de mise en page : titres en gras, texte justifié sur trois colonnes, vignettes alignées à droite avec habillage (aperçu de la mise en page des articles et illustrations dans le Nouveau Dictionnaire Larousse de 1899). La mise en page, ou mise en pages, est l'opération de disposition graphique d'un contenu informationnel dans un espace donné (feuille de papier, planche de bande dessinée, pages web, etc.).
Copy editingCopy editing (also known as copyediting and manuscript editing) is the process of revising written material (copy) to improve readability and fitness, as well as ensuring that a text is free of grammatical and factual errors. The Chicago Manual of Style states that manuscript editing encompasses "simple mechanical corrections (mechanical editing) through sentence-level interventions (line, or stylistic, editing) to substantial remedial work on literary style and clarity, disorganized passages, baggy prose, muddled tables and figures, and the like (substantive editing)".
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).
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Conception de site webLa création et la conception de site web ou web design est la conception de l'interface web : l’architecture interactionnelle, l’organisation des pages, l’arborescence et la navigation dans un site web. La conception d'un design web tient compte des contraintes spécifiques du support Internet, notamment en matière d’ergonomie, d’utilisabilité et d’accessibilité. Le web design réclame donc des compétences en programmation, en ergonomie et en interactivité, ainsi qu'une bonne connaissance des contraintes techniques liées à ce domaine.
Barrage en remblaivignette|Long de , le barrage KA-5 est un ouvrage en enrochement de de hauteur qui ferme le bras Ouest de la rivière Caniapiscau, dans le nord du Québec. Le barrage est formé d'un noyau de moraine, de plusieurs filtres en pierre tamisée, le tout étant recouvert d'une couche de blocs d'un mètre. Son volume est . Un barrage en remblai est un barrage constitué d'un matériau meuble, qu'il soit très fin ou très grossier (enrochements). Cette famille regroupe plusieurs catégories, très différentes.
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.
Montage non linéairevignette|Capture d'écran du logiciel de montage non linéaire Pitivi En vidéo et en audio, un système de montage non linéaire permet un accès direct (dit parfois aléatoire) sur les images ou les sons sources captés. C'est un montage non destructif. Le montage non linéaire pour les films et la postproduction vidéo permet d'accéder directement, grâce à un ordinateur, à toute image d'une séquence vidéo ou tout passage d'une piste numérique sans va-et-vient à travers des passages intermédiaires.
Environment AgencyThe Environment Agency (EA) is a non-departmental public body, established in 1996 and sponsored by the United Kingdom government's Department for Environment, Food and Rural Affairs, with responsibilities relating to the protection and enhancement of the environment in England (and until 2013 also Wales). Based in Bristol, the Environment Agency is responsible for flood management, regulating land and water pollution, and conservation.
MontageLe montage est, en audiovisuel, l'action d'assembler bout à bout plusieurs plans pour former des séquences qui forment à leur tour un film. Alfred Hitchcock est l’auteur d’un aphorisme vigoureux : Montage de fiction : Le montage de fiction est la fabrication proprement dite de la bande image et de la bande son (ou de plusieurs bandes son) d’un film joué par des comédiens, à partir des éléments fournis par l’enregistrement au tournage des plans définis par le réalisateur dans son découpage technique, ou dessinés sur le storyboard (ou ) selon ses indications.
Machine hydrauliquevignette|Des vérins hydrauliques sont visibles sur cette excavatrice. Les machines hydrauliques sont des machines et outils utilisant l'énergie hydraulique pour effectuer un travail. Les engins de chantier en sont un exemple courant. Dans ce type de machine, le fluide hydraulique est pompé et transmis à divers organes mécaniques comme des vérins ou des moteurs. Le fluide véhiculé par la pompe est contrôlé par l'opérateur, grâce à des distributeurs qui distribuent le fluide par des tiroirs disposés à l'intérieur, servant à diriger le fluide hydraulique dans des canalisations.
Disposition des touches d'un clavier de saisieLa disposition des touches d'un clavier de saisie permet de saisir les caractères de l'alphabet d'une langue sur une machine à écrire, un clavier d'ordinateur et sur certains appareils électroniques plus récents (téléphone portable, assistant personnel). La plupart des pays utilisent une ou plusieurs dispositions adaptées. Les dispositions de touches sont l'héritage des machines à écrire. Elles ont été adaptées aux claviers d'ordinateurs puis à d'autres périphériques.
Petroleum reservoirA petroleum reservoir or oil and gas reservoir is a subsurface accumulation of hydrocarbons contained in porous or fractured rock formations. Such reservoirs form when kerogen (ancient plant matter) is created in surrounding rock by the presence of high heat and pressure in the Earth's crust. Petroleum reservoirs are broadly classified as conventional and unconventional reservoirs.
LibreOfficeLibreOffice (parfois abrégé en LibO ou LO) est une suite bureautique libre et gratuite, dérivée du projet OpenOffice.org, créée et gérée par The Document Foundation. LibreOffice est notamment soutenue par la Fondation pour le logiciel libre et rassemble une grande partie de l'ancienne « communauté d'OpenOffice.org ». En France, LibreOffice est intégré au socle interministériel de logiciels libres de l'État. L'interface utilisateur est disponible en 114 langues.
Engineering drawingAn engineering drawing is a type of technical drawing that is used to convey information about an object. A common use is to specify the geometry necessary for the construction of a component and is called a detail drawing. Usually, a number of drawings are necessary to completely specify even a simple component. The drawings are linked together by a master drawing or assembly drawing which gives the drawing numbers of the subsequent detailed components, quantities required, construction materials and possibly 3D images that can be used to locate individual items.
Rupture de barragevignette|Le réservoir du barrage Teton se déversant lors de sa rupture en 1976 aux États-Unis. Une rupture de barrage se produit lorsque la structure cède du fait d'événements naturels (séisme, mouvement de terrain, crue, etc.) ou de défaillances humaines (mauvaise conception, négligence, sabotage, etc). Cette rupture a pour conséquence le déversement non contrôlé de l'eau ou de la boue contenues par le barrage. Ce type de catastrophe reste peu fréquent mais chaque occurrence engendre de graves conséquences humaines, environnementales et techniques.
