FranceLa France (), en forme longue depuis 1875 la République française (), est un État souverain transcontinental dont le territoire métropolitain s'étend en Europe de l'Ouest et dont le territoire ultramarin s'étend dans les océans Indien, Atlantique, Pacifique, ainsi qu'en Antarctique et en Amérique du Sud. Le pays a des frontières terrestres avec la Belgique, le Luxembourg, l'Allemagne, la Suisse, l'Italie, l'Espagne, Monaco et l'Andorre en Europe, auxquelles s'ajoutent les frontières terrestres avec le Brésil, le Suriname et les Pays-Bas aux Amériques.
Culture de HallstattLa culture de Hallstatt, ou culture hallstattienne, ou encore Hallstattien, est une culture archéologique du centre-ouest de l'Europe qui s'est développée entre environ 1200 et 450 Elle précède la période de La Tène ou second âge du fer. Elle prend son origine au nord des Alpes en Tchéquie, Bavière, et le nord de l'Autriche actuelles. Cette culture est généralement considérée par les historiens comme le berceau des peuples celtes. La culture de Hallstatt tire son nom d'un site archéologique qui se trouve à Hallstatt, dans la région du Salzkammergut, en Autriche.
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).
FrancoprovençalLe francoprovençal est une langue romane parlée en France, en Suisse et en Italie. C’est l'une des langues distinctes du groupe linguistique gallo-roman. L'expression peut induire en erreur car cette langue n'est pas un mélange de français et de provençal mais est située géographiquement entre les deux. Certains lui préfèrent donc le terme de romand tandis que d'autres privilégient arpitan. Le francoprovençal est considéré comme une langue bien distincte.
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.
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.
Langues romanesLes langues romanes, aussi appelées langues latines ou encore langues néo-latines, sont un groupe de langues issues du latin vulgaire, plus précisément du latin véhiculaire. Utilisés pour la communication sur toute l'étendue de l'Empire romain, le latin véhiculaire a évolué en plusieurs langues romanes dont trois : le castillan, le français et le portugais, ont connu une expansion mondiale à partir du . La distinction entre langue et dialecte étant assez arbitraire, on peut définir d'une vingtaine à une cinquantaine de langues romanes.
