Kind (type theory)In the area of mathematical logic and computer science known as type theory, a kind is the type of a type constructor or, less commonly, the type of a higher-order type operator. A kind system is essentially a simply typed lambda calculus "one level up", endowed with a primitive type, denoted and called "type", which is the kind of any data type which does not need any type parameters. A kind is sometimes confusingly described as the "type of a (data) type", but it is actually more of an arity specifier.
Gauche en FranceEn politique française, la gauche constitue l'ensemble des partis, familles et mouvements politiques français d'extrême gauche, de gauche, de mouvements écologistes ou de centre gauche, selon le spectre politique droite-gauche habituellement utilisé en France. D'autres représentations parlementaires concurrentes, de moindre postérité, furent historiquement employées : la Gironde, plaine ou marais et montagne sous la Révolution française ou résistance et mouvement sous la monarchie de Juillet.
AssembleurUn langage d'assemblage ou langage assembleur est, en programmation informatique, le langage de plus bas niveau qui représente le langage machine sous une forme lisible par un humain. Les combinaisons de bits du langage machine sont représentées par des symboles dits « mnémoniques », c'est-à-dire faciles à retenir. Le programme assembleur convertit ces mnémoniques en langage machine, ainsi que les valeurs (écrites en décimal) en binaire et les libellés d'emplacements en adresses, en vue de créer par exemple un fichier objet ou un fichier exécutable.
Langage dédiéUn langage dédié (en anglais, domain-specific language ou DSL) est un langage de programmation dont les spécifications sont conçues pour répondre aux contraintes d’un domaine d'application précis. Il s'oppose conceptuellement aux langages de programmation classiques (ou généralistes) comme Java ou C, qui tendent à traiter un ensemble de domaines. Néanmoins, aucun consensus ne définit précisément ce qu'est un langage dédié. Ce manque de définition précise sur la nature d'un langage dédié rend délicate la tâche d'établir un historique clair sur l'origine du concept.
Source de courantUne source de courant est un dispositif pouvant produire un courant électrique constant fonctionnant sur une plage de tension donnée. vignette|Source de courant parfaite (rouge) ; source de courant idéale sur une plage de tension (vert) ; source de courant avec résistance en parallèle (turquoise). Ce dispositif produit un courant stable I quelle que soit la tension à ses bornes. Une source de courant réelle a une résistance interne en parallèle de très grande valeur (infinie dans le cas d'une source idéale).
Present valueIn economics and finance, present value (PV), also known as present discounted value, is the value of an expected income stream determined as of the date of valuation. The present value is usually less than the future value because money has interest-earning potential, a characteristic referred to as the time value of money, except during times of zero- or negative interest rates, when the present value will be equal or more than the future value. Time value can be described with the simplified phrase, "A dollar today is worth more than a dollar tomorrow".
PresentThe present is the period of time that is occurring now. The present is contrasted with the past, the period of time that has already occurred, and the future, the period of time that has yet to occur. It is sometimes represented as a hyperplane in space-time, typically called "now", although modern physics demonstrates that such a hyperplane cannot be defined uniquely for observers in relative motion. The present may also be viewed as a duration.
FuturLe futur, ou l’avenir, est pour un système, l’ensemble des configurations possibles qui n'existent pas (c-à-d. qui n'ont pas encore eu lieu). Dans la ligne du temps, le futur vient après le présent et le passé. Les membres de l'espèce humaine, à partir d'un certain âge, se distinguent par des capacités élevées cognitives, de conceptualisation et d'imagination qui leur permettent d'envisager le futur proche et de s'y projeter, mais aussi d'imaginer des futurs possibles plus lointains où vivront ce qu'on appelle maintenant les générations futures.
Libertarisme de gaucheLe libertarisme de gauche ou libertarianisme de gauche est un courant de la philosophie politique qui partage avec le courant libertarien classique (anarcho-capitalisme, minarchisme de droite) des principes de liberté individuelle forts mais y ajoute une thèse égalitaire sur la propriété des ressources naturelles. Il est également question d'un libre-marché coopérativiste par l'abolition du salariat et l'instauration d'un entrepreneuriat volontariste non-hiérarchisé.
Arbre de la syntaxe abstraiteEn informatique, un arbre de la syntaxe abstraite ou ASA (abstract syntax tree, ou AST, en anglais) est un arbre dont les nœuds internes sont marqués par des opérateurs et dont les feuilles (ou nœuds externes) représentent les opérandes de ces opérateurs. Autrement dit, généralement, une feuille est une variable ou une constante. Un arbre de la syntaxe abstraite est utilisé par un analyseur syntaxique comme un intermédiaire entre un arbre d'analyse et une structure de données.
Centre gaucheLe centre gauche est un positionnement politique qui se réclame à la fois de la gauche et du centre, se situant à droite de la gauche traditionnelle. Ceci peut se traduire par le rejet du marxisme et du communisme, ou le rejet du développement ou maintien d'un État interventionniste ou État-providence fort par adhésion au libéralisme économique. Selon Alain Noël et Jean-Philippe Thérien, professeurs de science politique .
Miroir de courantUn miroir de courant est un circuit électronique conçu pour copier un courant traversant un dispositif actif, par le contrôle du courant dans un autre dispositif actif, de façon à maintenir le courant de sortie, Io, égal au courant à copier, IREF, quelle que soit la charge appliquée au courant de sortie. Le courant « copié » peut être un courant variable dans le temps. Conceptuellement, un miroir de courant idéal est simplement un amplificateur inverseur de courant ou une source de courant contrôlée.
