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.
Guerre de l'eauLe terme guerre de l'eau peut avoir différentes significations : La « guerre de l'eau dans le monde » évoquée au sujet de la répartition de la ressource hydrique entre autres en Asie, au Moyen-Orient et en Afrique ; La guerre de l'eau en Bolivie suite de la privatisation du système municipal de gestion de l'eau de Cochabamba ; Les guerres de l'eau en Californie découlant de la sécheresse et, entre autres, des besoins en eau croissant de l'agglomération de Los Angeles. La Guerre de l'eau en France comprenan
Objective-CObjective-C est un langage de programmation orienté objet réflexif. C'est une extension du C ANSI, comme le C++, mais qui se distingue de ce dernier par sa distribution dynamique des messages, son typage faible ou fort, son typage dynamique et son chargement dynamique. Contrairement au C++, il ne permet pas l'héritage multiple mais il existe toutefois des moyens de combiner les avantages de C++ et d'Objective-C.
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.
Water industryThe water industry provides drinking water and wastewater services (including sewage treatment) to residential, commercial, and industrial sectors of the economy. Typically public utilities operate water supply networks. The water industry does not include manufacturers and suppliers of bottled water, which is part of the beverage production and belongs to the food sector. The water industry includes water engineering, operations, water and wastewater plant construction, equipment supply and specialist water treatment chemicals, among others.
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).
Colonne salomoniqueLa colonne salomonique est un type de colonne de forme torsadée, c'est-à-dire dont le fût tourne en hélice. Elle trouve son origine traditionnelle dans les colonnes qui auraient été rapportées du grand temple de Salomon de Jérusalem pour la construction de la crypte de la tombe de saint Pierre à Rome. Elles ont été réutilisées dans la reconstruction de la basilique Saint-Pierre, et leur style a été repris dans le grand baldaquin sculpté par le Bernin, ainsi que dans plusieurs bâtiments et sculptures de l'époque baroque.
Ionvignette| Tableau périodique avec quelques atomes en lien avec leur forme ionique la plus répandue. La charge des ions indiqués (sauf H) a comme logique d'avoir la même structure électronique que le gaz noble (cadre rouge) le plus proche. Un ion est un atome ou un groupe d'atomes portant une charge électrique, parce que son nombre d'électrons est différent de son nombre de protons. On distingue deux grandes catégories d'ions : les cations, chargés positivement, et les anions, chargés négativement.
Eau purifiéeUne eau purifiée est une eau issue d'un traitement physique destiné à supprimer les impuretés. L'eau distillée et l'eau déminéralisée (aussi appelée déionisée), souvent utilisées en laboratoire et dans l'industrie, sont des exemples bien connus. Il est d'usage d'utiliser de l'eau très pure (déminéralisée : eau sans ou avec des traces de sels minéraux) pour certaines opérations de rinçage en traitement de surface : la qualité d'eau de rinçage doit être suffisante pour évacuer correctement les polluants sans en apporter d'autres.
Intoxication par l'eauL'intoxication à l'eau, également connue sous le nom d'hyperhydratation ou empoisonnement à l'eau, est un trouble des fonctions cérébrales potentiellement mortel, qui est la conséquence d'un déséquilibre des électrolytes provoqué par une surconsommation d'eau. L'intoxication à l'eau ne doit pas être confondue avec la déshydratation, qui en est l'exact opposé même si elles peuvent présenter des symptômes similaires et apparaître dans des circonstances semblables. Les fluides (sueur, urine...
