Guerre froideLa guerre froide (en anglais Cold War ; en russe Холодная война, Kholodnaïa voïna) est le nom donné à la période de fortes tensions géopolitiques durant la seconde moitié du , entre d'une part les États-Unis et leurs alliés constitutifs du bloc de l'Ouest et d'autre part l'Union des républiques socialistes soviétiques (URSS) et ses États satellites formant le bloc de l'Est. La guerre froide s'installe progressivement à partir de la fin de la Seconde Guerre mondiale dans les années 1945 à 1947 et dure jusqu'à la chute des régimes communistes en Europe en 1989, rapidement suivie de la dislocation de l'URSS en .
Neutralité perpétuelle de la SuisseLa neutralité perpétuelle de la Suisse fait l'objet d'une déclaration des puissances européennes le au congrès de Vienne, puis d'une reconnaissance par le traité de Paris, le . La Suisse bénéficie dès lors du statut de pays neutre, qui garantit l'intégrité et l'inviolabilité de son territoire. Jusqu'au , les différents cantons suisses sont partie prenante des conflits diplomatiques et militaires qui secouent l'Europe occidentale : guerres contre les Habsbourgs, guerres contre les ducs de Bourgogne, bataille de Marignan à l'issue de laquelle le traité de Fribourg impose aux Suisses de s'abstenir de combattre contre la France.
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.
Nouvelle guerre froide300px|thumb|Carte de localisation des trois superpuissances de l'hypothétique seconde guerre froide : États-Unis d'Amérique, Russie et Chine. Les termes de nouvelle guerre froide ou de seconde guerre froide sont d'abord employés pour désigner une phase de la Guerre froide proprement dite (1947-1991). Ils prennent un autre sens au début du pour désigner un regain des tensions diplomatiques entre le monde occidental (en particulier les États-Unis et l'Union européenne) et la Russie dirigée par Vladimir Poutine, ainsi que de nouveaux acteurs s'ajoutant à cette escalade : la Chine, la Corée du Nord, l'Inde, le Pakistan et l'Iran (nouvelle guerre froide, seconde guerre froide, ou guerre froide 2.
Seconde Guerre mondialeLa Seconde Guerre mondiale, ou Deuxième Guerre mondiale, est un conflit armé à l'échelle planétaire qui dure du au . Ce conflit oppose schématiquement les Alliés et l'Axe. Provoquée par le règlement insatisfaisant de la Première Guerre mondiale et par les ambitions expansionnistes et hégémoniques des trois principales nations de l'Axe (le Troisième Reich, l'Italie fasciste et l'empire du Japon), la Seconde Guerre mondiale est favorisée par la convergence d'un ensemble de tensions et conflits régionaux, notamment en Afrique (seconde guerre italo-éthiopienne dès 1935), en Espagne (où la guerre civile commence le ), en Chine (où les agressions du Japon débutent le ) et en Europe centrale (où l'Allemagne annexe autoritairement l'Autriche le , puis les territoires des Sudètes pris à la Tchécoslovaquie le ).
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.
Cold War liberalCold War liberal is a term that was used in the United States during the Cold War, which began after the end of World War II. The term was used to describe liberal politicians and labor union leaders who supported democracy and equality. They supported the growth of labor unions, the civil rights movement, and the war on poverty and simultaneously opposing totalitarianism commonly seen under Communist rule at the time. Cold War liberals supported efforts of containment, such as diplomat George F. Kennan and U.
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.
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.
Neutralité (relations internationales)La neutralité désigne généralement un positionnement d'abstention bienveillant ou armé, l'absence d'implication dans un conflit armé ou dans tout type d'affrontement. Elle répond à un régime juridique strict, ce qui la différencie de notions politiques proches comme l'isolationnisme ou le non-alignement. Le concept de pays neutre est plus fort que le concept de pays non belligérant. Un pays neutre ne soutient aucune des parties impliquées dans une guerre tandis qu'un pays non-belligérant s'engage simplement à ne pas intervenir militairement, mais peut vendre ou même offrir des armes aux belligérants.
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.
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).
MytheUn mythe est une construction imaginaire qui se veut explicative des phénomènes cosmiques, psychologiques et sociaux, à l'image de dieux et déesses qui proposent une explication pour certains aspects fondamentaux du monde et de la société qui a forgé ou qui véhicule ces mythes. Le mythe est porté à l'origine par une tradition orale.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Guerre mondialevignette|325px|Tous les participants de la Première Guerre mondiale : les Alliés en vert, les Empires centraux en orange, et les pays neutres en gris. vignette|325px|Tous les participants de la Seconde Guerre mondiale : les Alliés en vert, les puissances de l'Axe en bleu, et les pays neutres en gris. Une guerre mondiale est un conflit armé à grande échelle impliquant des belligérants situés sur plusieurs continents.
ProductionLa production est l'action d'un sujet qui transforme une matière première pour faire exister un nouvel objet. On rencontre ce phénomène de production dans la société, mais aussi bien dans la nature. C'est pourquoi on peut l'étudier soit sous l'angle économique et sociologique, soit sous l'angle biologique. Le terme « production » dérive du latin classique qui signifie « prolonger, mettre en avant ». Dans l'Antiquité, il désigne aussi bien les créations de la nature (l'arbre producteur de fruits) que celles de l'homme (l'artisan producteur d'objets utiles).
Production en sérievignette|Chaîne de production dans une usine Hyundai. La production en série est un mode de production caractérisé par une organisation telle que les produits passent linéairement de poste à poste jusqu'à prendre leur forme finale. La production en série permet d'assurer une augmentation des économies d'échelle par la spécialisation des postes de travail. Il est cependant possible de critiquer cette spécialisation qui entraîne une baisse de la flexibilité nuisible en cas de changement d'activité.
Documentthumb|right|Exemple de document papier. Un document renvoie à un ensemble formé par un support et une information (le contenu), celle-ci enregistrée de manière persistante. Il a une valeur explicative, descriptive ou de preuve. Vecteur matériel de la pensée humaine, il joue un rôle essentiel dans la plupart des sociétés contemporaines, tant pour le fonctionnement de leurs administrations que dans l'élaboration de leurs savoirs.
Open sourceOpen source is source code that is made freely available for possible modification and redistribution. Products include permission to use the source code, design documents, or content of the product. The open-source model is a decentralized software development model that encourages open collaboration. A main principle of open-source software development is peer production, with products such as source code, blueprints, and documentation freely available to the public.
