Politique climatiqueLa politique climatique d'une organisation internationale, d'un État ou d'un groupe d'États, ou d'une collectivité territoriale définit les actions à entreprendre pour lutter contre le réchauffement climatique. Elle se traduit par un plan d'action stratégique, souvent appelé plan climat. Elle vise généralement conjointement deux objectifs : l'atténuation du changement climatique et l'adaptation au changement climatique.
Lobbyingvignette| Le lobby de la Chambre des communes du Royaume-Uni, multi-portrait du caricaturiste pour le journal satirique Vanity Fair, 1886. En politique, le lobbying, lobbyisme ou représentation d'intérêts, est l'acte de tenter légalement d'influencer les actions, les politiques ou les décisions des représentants du gouvernement, des législateurs ou des organismes de réglementation.
Fossil fuels lobbyThe fossil fuels lobby includes paid representatives of corporations involved in the fossil fuel industry (oil, gas, coal), as well as related industries like chemicals, plastics, aviation and other transportation. Because of their wealth and the importance of energy, transport and chemical industries to local, national and international economies, these lobbies have the capacity and money to attempt to have outsized influence governmental policy.
Déni du réchauffement climatiquevignette| Dérision du déni du réchauffement climatique. Le « déni du réchauffement climatique » est une attitude de dénégation face au consensus scientifique sur le réchauffement climatique. Certaines personnes admettent qu'il y a un réel changement, allant dans le sens d'un réchauffement global, mais nient que ce changement a une origine ou une part anthropique ; ils l'attribuent exclusivement aux variations naturelles du climat.
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in 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.
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.
Individual action on climate changeIndividual action on climate change can include personal choices in many areas, such as diet, travel, household energy use, consumption of goods and services, and family size. Individuals can also engage in local and political advocacy around issues of climate change. People who wish to reduce their carbon footprint (particularly those in high income countries with high consumption lifestyles), can take "high-impact" actions, such as avoiding frequent flying and petrol fuelled cars, eating mainly a plant-based diet, having fewer children, using clothes and electrical products for longer, and electrifying homes.
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
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.