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.
Arc électriqueUn arc électrique est un courant électrique visible dans un milieu isolant (gaz, air). La découverte des principes régissant ce phénomène est attribuée au chimiste et physicien anglais Humphry Davy en 1813. Son explication fait appel à une physique très complexe. En langage courant, un arc électrique de faible ampleur est une « étincelle » parfois lié à un court-circuit temporaire (Voir image à droite). vignette|Arcs électriques sur les rails du métro de Londres vignette|Arc électrique de sur un disjoncteur à courant continu.
