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.
AusterityIn economic policy, austerity is a set of political-economic policies that aim to reduce government budget deficits through spending cuts, tax increases, or a combination of both. There are three primary types of austerity measures: higher taxes to fund spending, raising taxes while cutting spending, and lower taxes and lower government spending. Austerity measures are often used by governments that find it difficult to borrow or meet their existing obligations to pay back loans.
Greek government-debt crisisGreece faced a sovereign debt crisis in the aftermath of the financial crisis of 2007–2008. Widely known in the country as The Crisis (I Krísi), it reached the populace as a series of sudden reforms and austerity measures that led to impoverishment and loss of income and property, as well as a small-scale humanitarian crisis. In all, the Greek economy suffered the longest recession of any advanced mixed economy to date. As a result, the Greek political system has been upended, social exclusion increased, and hundreds of thousands of well-educated Greeks have left the country.
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.
Type theoryIn mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.
Lambda calculusLambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. It is a universal model of computation that can be used to simulate any Turing machine. It was introduced by the mathematician Alonzo Church in the 1930s as part of his research into the foundations of mathematics. Lambda calculus consists of constructing lambda terms and performing reduction operations on them.
Economic policyThe economy of governments covers the systems for setting levels of taxation, government budgets, the money supply and interest rates as well as the labour market, national ownership, and many other areas of government interventions into the economy. Most factors of economic policy can be divided into either fiscal policy, which deals with government actions regarding taxation and spending, or monetary policy, which deals with central banking actions regarding the money supply and interest rates.
Regressive taxA regressive tax is a tax imposed in such a manner that the tax rate decreases as the amount subject to taxation increases. "Regressive" describes a distribution effect on income or expenditure, referring to the way the rate progresses from high to low, so that the average tax rate exceeds the marginal tax rate. In terms of individual income and wealth, a regressive tax imposes a greater burden (relative to resources) on the poor than on the rich: there is an inverse relationship between the tax rate and the taxpayer's ability to pay, as measured by assets, consumption, or income.
Type safetyIn computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors.
Public financePublic finance is the study of the role of the government in the economy. It is the branch of economics that assesses the government revenue and government expenditure of the public authorities and the adjustment of one or the other to achieve desirable effects and avoid undesirable ones. The purview of public finance is considered to be threefold, consisting of governmental effects on: The efficient allocation of available resources; The distribution of income among citizens; and The stability of the economy.
Type inferenceType inference refers to the automatic detection of the type of an expression in a formal language. These include programming languages and mathematical type systems, but also natural languages in some branches of computer science and linguistics. Types in a most general view can be associated to a designated use suggesting and restricting the activities possible for an object of that type. Many nouns in language specify such uses. For instance, the word leash indicates a different use than the word line.
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.
