ZincLe zinc (prononciation /zɛ̃g/ en France, /zɛ̃k/ au Canada, /zɛ̃/ en Suisse) est l'élément chimique de numéro atomique 30 et de symbole Zn. Le corps simple zinc est un métal. Le zinc est par certains aspects semblable au magnésium dans la mesure où son état d'oxydation courant est +2, donnant un cation de taille comparable à celle de Mg. C'est le le plus abondant dans l'écorce terrestre. Il possède cinq isotopes naturels stables. Le zinc est un élément du groupe 12 et de la période 4.
Parametric polymorphismIn programming languages and type theory, parametric polymorphism allows a single piece of code to be given a "generic" type, using variables in place of actual types, and then instantiated with particular types as needed. Parametrically polymorphic functions and data types are sometimes called generic functions and generic datatypes, respectively, and they form the basis of generic programming. Parametric polymorphism may be contrasted with ad hoc polymorphism.
Polymorphisme (informatique)En informatique et en théorie des types, le polymorphisme, du grec ancien polús (plusieurs) et morphê (forme), est le concept consistant à fournir une interface unique à des entités pouvant avoir différents types. Par exemple, des opérations telles que la multiplication peuvent ainsi être étendues à des scalaires aux vecteurs ou aux matrices, l'addition, des scalaires aux fonctions ou aux chaînes de caractères, etc.
Ad hoc polymorphismIn programming languages, ad hoc polymorphism is a kind of polymorphism in which polymorphic functions can be applied to arguments of different types, because a polymorphic function can denote a number of distinct and potentially heterogeneous implementations depending on the type of argument(s) to which it is applied. When applied to object-oriented or procedural concepts, it is also known as function overloading or operator overloading.
Chlorure de zincLe chlorure de zinc est un corps composé ionique de cation zinc et d'anion chlorure, de formule chimique . Ce sel chlorure de zinc ZnCl2 est un solide blanc ou incolore, de densité 2,9. Ce corps est déliquescent extrêmement hygroscopique. Il est très soluble dans l'eau, avec une solubilité de pour d'eau pure à et de pour d'eau pure à . Il l'est un peu moins dans l'éthanol, avec une solubilité avoisinant pour d'éthanol à . Il reste très soluble dans l'éther. Il est insoluble dans l'ammoniac liquide.
Sulfate de zincLe sulfate de zinc est stricto sensu un corps composé chimique cristallin anhydre, à base de cations zinc et d'anions sulfates, de formule brut . Sous une même appellation générique, il existe aussi d'autres corps hydratés, à la fois différents et voisins, les hydrates de sulfate de zinc, dont les plus communs sont l'heptahydrate, le monohydrate et l'hexahydrate. Le sulfate de zinc existe dans la nature à l'état anhydre. Il s'agit du minéral zincosite orthorhombique.
Ciment Portlandthumb|right|280px|Sacs de ciment Portland. Les ciments Portland sont des liants hydrauliques composés principalement de silicates de calcium hydrauliques qui font prise et durcissent en vertu d'une réaction chimique à l'eau appelée hydratation. Lorsqu'on ajoute la pâte (ciment, air et eau) aux granulats (sable et gravier, pierre concassée ou autre matériau granulaire), elle agit comme une colle et lie ensemble les granulats pour former une masse semblable à de la pierre, le béton, le matériau artificiel le plus polyvalent et le plus répandu qui existe.
Polymorphisme génétiqueLe polymorphisme génétique (du grec « poly » plusieurs et « morphê » forme) est la coexistence de plusieurs allèles pour un gène ou locus donné, dans une population animale, végétale, fongique, bactérienne. Il explique qu'une espèce présente des individus aux caractères phénotypiques différents (appelés morphotypes) au sein d'une même population. C'est un des éléments, intraspécifique, de la diversité génétique qui est considéré comme facilitant l'adaptation des populations à leur environnement plus ou moins changeant.
Polymorphisme (chimie)En chimie et minéralogie, le polymorphisme est la faculté que possède une substance chimique de cristalliser dans des structures différentes selon les conditions de température et de pression. Lorsque la substance est un corps simple, on préfère utiliser le terme d'allotropie. Quand une substance peut exister sous plusieurs formes amorphes avec entre elles des transitions de phase du premier ordre, on parle de polyamorphisme. Généralement, chaque structure existe dans une région précise de température et de pression : son « champ de stabilité ».
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.
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.
C++11C++11, anciennement connu sous le nom de C++0x, est une norme pour le langage C++ en informatique. Elle a été approuvée unanimement le . Elle remplace la précédente norme, ISO/CEI 14882, publiée en et mise à jour en . Ces dernières sont plus connues sous les noms informels de C++98 et C++03. C++11 introduit plusieurs nouveautés au langage initial, ainsi que de nouvelles fonctionnalités à la bibliothèque standard du C++ comme la plupart des bibliothèques du Technical Report 1, à l'exception de la bibliothèque de fonctions mathématiques spéciales.
Zinc–carbon batteryA zinc–carbon battery (or carbon zinc battery in U.S. English) is a dry cell primary battery that provides direct electric current from the electrochemical reaction between zinc (Zn) and manganese dioxide (MnO2) in the presence of an ammonium chloride (NH4Cl) electrolyte. It produces a voltage of about 1.5 volts between the zinc anode, which is typically constructed as a cylindrical container for the battery cell, and a carbon rod surrounded by a compound with a higher Standard electrode potential (positive polarity), known as the cathode, that collects the current from the manganese dioxide electrode.
C++C++ est un langage de programmation compilé permettant la programmation sous de multiples paradigmes, dont la programmation procédurale, la programmation orientée objet et la programmation générique. Ses bonnes performances, et sa compatibilité avec le C en font un des langages de programmation les plus utilisés dans les applications où la performance est critique. Créé initialement par Bjarne Stroustrup dans les années 1980, le langage C++ est aujourd'hui normalisé par l'ISO.
Oxyde de zincL’oxyde de zinc est un composé chimique d'oxygène et de zinc, corps ionique de formule chimique . Cet oxyde quasiment insoluble dans l'eau se présente généralement sous la forme d'une poudre blanche infusible communément appelée « zinc blanc », « blanc de zinc » ou « fleur de zinc ». Ce corps blanc pulvérulent se nommait autrefois pour ses aspects floconneux et légers en latin pompholix, nihil album (blanc de rien des alchimistes), lana philosophica (laine philosophique). Il était alors considéré comme un corps "infusible et fixe".
ClinkerLe clinker est un constituant du ciment, qui résulte de la cuisson à très haute température d'un mélange composé d'environ 80 % de calcaire (CaCO3 qui apporte l'oxyde de calcium, CaO) et de 20 % d'aluminosilicates (essentiellement des argiles : phyllosilicates) qui apportent les oxydes de silicium (SiO2), d'aluminium () et de fer (FeO et ). La « farine » ou le « cru » est formé du mélange de poudre de calcaire et d'argile. La cuisson, ou clinkérisation, se fait à une température d'environ , ce qui explique la forte consommation énergétique de ce processus.
MagnésiumLe magnésium est l'élément chimique de numéro atomique 12, de symbole Mg. Le magnésium est un métal alcalino-terreux. Il s’agit du neuvième élément le plus abondant de l'univers. Il est le produit, dans de grandes étoiles vieillissantes, de l'addition séquentielle de trois noyaux d'hélium à un noyau carboné. Lorsque de telles étoiles explosent en tant que supernovas, une grande partie du magnésium est expulsé dans le milieu interstellaire où il peut se recycler dans de nouveaux systèmes stellaires.
SubtypingIn programming language theory, subtyping (also subtype polymorphism or inclusion polymorphism) is a form of type polymorphism in which a subtype is a datatype that is related to another datatype (the supertype) by some notion of substitutability, meaning that program elements, typically subroutines or functions, written to operate on elements of the supertype can also operate on elements of the subtype. If S is a subtype of T, the subtyping relation (written as S
Type classIn computer science, a type class is a type system construct that supports ad hoc polymorphism. This is achieved by adding constraints to type variables in parametrically polymorphic types. Such a constraint typically involves a type class T and a type variable a, and means that a can only be instantiated to a type whose members support the overloaded operations associated with T.
ANSI CANSI C, ISO C, and Standard C are successive standards for the C programming language published by the American National Standards Institute (ANSI) and ISO/IEC JTC 1/SC 22/WG 14 of the International Organization for Standardization (ISO) and the International Electrotechnical Commission (IEC). Historically, the names referred specifically to the original and best-supported version of the standard (known as C89 or C90). Software developers writing in C are encouraged to conform to the standards, as doing so helps portability between compilers.
