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.
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.
Colonne (architecture)vignette|250px|Colonnes monumentales datant de l'Antiquité romaine du temple de Bel à Palmyre, Syrie. vignette|200px|Colonnes engagées et baguées à bossages vermiculés. La colonne est, en architecture, ameublement, sculpture et ingénierie des structures, un support vertical dont le plan est un cercle (colonne cylindrique) ou un polygone régulier à plus de quatre côtés (colonne polygonale). Elle se distingue du pilier et du pilastre. Elle est composée en principe d'une base, d'un fût et d'un chapiteau.
EauL'eau est une substance chimique constituée de molécules . Ce composé, très stable, mais aussi très réactif, est un excellent solvant à l'état liquide. Dans de nombreux contextes, le terme eau est employé au sens restreint d'eau à l'état liquide, ou pour désigner une solution aqueuse diluée (eau douce, eau potable, eau de mer, eau de chaux). L'eau est ubiquitaire sur Terre et dans l'atmosphère, sous ses trois états, solide (glace), liquide et gazeux (vapeur d'eau).
Bromure de potassiumLe bromure de potassium est un sel largement utilisé comme antispasmodique et sédatif. De formule chimique KBr, il est composé des ions potassium et bromure. Il est de couleur blanche ou incolore. On l'utilise dans l'industrie pharmaceutique et photographique. Il peut également être utilisé dans la préparation d'échantillons en analyse chimique (spectroscopie infrarouge). Le bromure de potassium est un sédatif et un anticonvulsivant.
Empreinte eauLempreinte eau (on parle également d'empreinte sur l'eau) est le volume total d'eau virtuelle utilisée pour produire un produit ou un service. Comme on le fait pour l'empreinte écologique, on peut également évaluer l'empreinte eau d'une entreprise, d'un pays, d'un individu, d'une ville etc. L'empreinte de l'eau ou Water footprint en anglais est un indicateur basé sur la consommation effective d’eau aux différents stades de la production d’un produit par le consommateur ou le producteur.
Eau en bouteilleL'eau en bouteille ou eau embouteillée est une eau conditionnée dans des bouteilles (bonbonnes parfois) destinée à la consommation humaine. Il existe plusieurs catégories d'eau embouteillée, chacune devant répondre à une conformité aux réglementations (qui varient selon les pays). Dans le monde les bouteilles de verre (autrefois souvent consignées) disparaissent de plus en plus au profit des bouteilles en plastiques et des cannettes métalliques, et le secteur et marché de la production est de plus en plus concentré entre les mains de quelques géants de l'agroalimentaire dont Coca-Cola est le premier.
Alimentation en eau potableL’alimentation en eau potable (sigle : AEP) est l’ensemble des équipements, des services et des actions qui permettent, en partant d’une eau brute, de produire une eau conforme aux normes de potabilité en vigueur, distribuée ensuite aux consommateurs. On considère quatre étapes distinctes dans cette alimentation : prélèvements - captages (eau de surface ou eau souterraine) ; traitement pour potabiliser l'eau ; adduction (transport et stockage) ; distribution au consommateur.
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.
Purification de l'eauvignette|Usine de traitement de l'eau à Fontburn, dans le nord de l'Angleterre. La purification de l'eau regroupe l'ensemble des techniques et méthodes permettant d'obtenir de l'« eau de procédé » à partir d'eau potable. Beaucoup d'industries utilisent de l'eau douce pour leurs procédés de production. L'eau de procédé peut avoir différents noms – et différentes caractéristiques – selon l'industrie et l'application, par exemple : « eau purifiée » et « eau pour préparation injectable » (eau PPI) dans l'industrie pharmaceutique ; « eau ultrapure » ou « eau » en microélectronique.
