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.
Substructural type systemSubstructural type systems are a family of type systems analogous to substructural logics where one or more of the structural rules are absent or only allowed under controlled circumstances. Such systems are useful for constraining access to system resources such as , locks, and memory by keeping track of changes of state that occur and preventing invalid states. Several type systems have emerged by discarding some of the structural rules of exchange, weakening, and contraction: Ordered type systems (discard exchange, weakening and contraction): Every variable is used exactly once in the order it was introduced.
Structure of liquids and glassesThe structure of liquids, glasses and other non-crystalline solids is characterized by the absence of long-range order which defines crystalline materials. Liquids and amorphous solids do, however, possess a rich and varied array of short to medium range order, which originates from chemical bonding and related interactions. Metallic glasses, for example, are typically well described by the dense random packing of hard spheres, whereas covalent systems, such as silicate glasses, have sparsely packed, strongly bound, tetrahedral network structures.
Octacarbonyle de dicobaltL'octacarbonyle de dicobalt, ou plus simplement carbonyle de cobalt, est un composé chimique de formule . Ce carbonyle métallique est un réactif et un catalyseur utilisé en synthèse organique et en chimie des composés organométalliques. Il a été notamment utilisé pour catalyser l'hydroformylation, conversion des alcènes en aldéhydes. On l'obtient par carbonylation à haute pression de sels de cobalt, souvent en présence de cyanure CN−. C'est un solide pyrophorique de couleur orange thermiquement instable.
HexolIn chemistry, hexol is a cation with formula {[Co(NH3)4(OH)2]3Co}6+ — a coordination complex consisting of four cobalt cations in oxidation state +3, twelve ammonia molecules NH3, and six hydroxy anions HO-, with a net charge of +6. The hydroxy groups act as bridges between the central cobalt atom and the other three, which carry the ammonia ligands. Salts of hexol, such as the sulfate {[Co(NH3)4(OH)2]3Co}(SO4)3(H2O)x, are of historical significance as the first synthetic non-carbon-containing chiral compounds.
Théorie des types homotopiquesvignette| Couverture de la Théorie des types homotopiques : Fondations univalentes des mathématiques. Dans la logique mathématique et de l’informatique, la théorie des types homotopiques (en anglais : Homotopy Type Theory HoTT) fait référence à différentes lignes de développement de la théorie des types intuitionnistes, basée sur l’interprétation des types comme des objets auxquels l’intuition de la théorie de l’homotopie s’applique.
