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.
Politique de rigueurUne politique de rigueur ou politique d'austérité est une politique économique de maîtrise ou de réduction des dépenses publiques dans le but de réduire le déficit. Elle est souvent alliée à une augmentation de l'imposition dans le but d'assainir les dépenses publiques. La mise en pratique d'une politique de rigueur peut passer par plusieurs canaux : politique budgétaire, politique fiscale, politique monétaire. Les mesures de rigueur ou d'austérité sont souvent mises en place lorsque l'État se trouve dans une situation difficile pour payer ses dépenses de fonctionnement ou rembourser ses dettes.
Crise de la dette publique grecquevignette|droite|upright=1.3|Palais du parlement hellénique devant la place Syntagma à Athènes. La crise de la dette publique grecque est une crise financière ayant débuté en 2008, affectant la Grèce et menaçant de s'étendre à l'Union européenne, due à l'emballement de la dette publique de la Grèce. Cette dette pèse sur l'économie du pays de deux manières : par les craintes qu'elle fait naître chez les investisseurs sur la capacité de la Grèce à rembourser sa dette publique et par le poids du paiement de ses intérêts.
Sectoral balancesThe sectoral balances (also called sectoral financial balances) are a sectoral analysis framework for macroeconomic analysis of national economies developed by British economist Wynne Godley. Sectoral analysis is based on the insight that when the government sector has a budget deficit, the non-government sectors (private domestic sector and foreign sector) together must have a surplus, and vice versa. In other words, if the government sector is borrowing, the other sectors taken together must be lending.
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.
Lambda-calculLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel.
Politique économiqueLa politique économique est l'ensemble des interventions des administrations publiques (dont l’État, la banque centrale, et les collectivités territoriales) sur l’activité économique pour atteindre des objectifs (croissance, plein-emploi, justice sociale). Ces objectifs permettent de corriger les déséquilibres (inflation, inégalités de revenu et de richesse, chômage, déficit des finances publiques, excès de création monétaire).
Impôt régressifUn impôt régressif ou impôt dégressif est un impôt dont le taux d'imposition diminue en même temps que la matière imposable augmente. La matière imposable, aussi appelée base d'imposition ou assiette fiscale, est par exemple l'ensemble des revenus ou de la fortune pour un particulier, ou les bénéfices ou le chiffre d'affaires pour une entreprise. L'impôt régressif s'oppose à l'impôt progressif dont le taux augmente avec la base d'imposition. Entre les deux se situe l'impôt à taux unique, aussi appelé flat tax par les anglo-saxons.
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.
Finances publiquesLes finances publiques sont l'étude des règles et des opérations relatives aux deniers publics. Selon le critère organique, les finances publiques peuvent aussi être présentées comme l’ensemble des règles gouvernant les finances de l’État, des collectivités territoriales, des organismes de sécurité sociale, des établissements publics et de toutes autres personnes morales de droit public. C'est un champ à la croisée du droit budgétaire, du droit fiscal, du droit constitutionnel, de la science administrative (en tant que management public), ainsi que de la comptabilité publique.
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.
Post-growthPost-growth is a stance on economic growth concerning the limits-to-growth dilemma — recognition that, on a planet of finite material resources, extractive economies and populations cannot grow infinitely. The term "post-growth" acknowledges that economic growth can generate beneficial effects up to a point, but beyond that point (cited as $25,000 GDP/capita by Richard Wilkinson and Kate Pickett in their book The Spirit Level) it is necessary to look for other indicators and techniques to increase human wellbeing.
