- type system
-
A way programming language classifies values and expressions into types, how it can manipulate those types and how they interact.
Wikipedia foundation.
type system
Look at other dictionaries:
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Type system of the Royal Navy — The Type system is a classification system used by the British Royal Navy to classify surface escorts by function. The system evolved in the early 1950s, when the Royal Navy was experimenting with building single purpose escort vessels with… … Wikipedia
Nominative type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Common Type System — In Microsoft s .NET Framework, the Common Type System (CTS) is a standard that specifies how Type definitions and specific values of Types are represented in computer memory. It is intended to allow programs written in different programming… … Wikipedia
Structural type system — A structural type system is a major class of type system, in which type compatibility and equivalence are determined by the type s structure, and not through explicit declarations. Structural systems are used to determine if types are equivalent … Wikipedia
Common Type System — (сокр. CTS, рус. Стандартная система типов) часть .NET Framework, формальная спецификация, определяющая, как какой либо тип (класс, интерфейс, структура, встроенный тип данных) должен быть определён для его правильного выполнения средой .NET.… … Википедия
Linear type system — A linear type system is a particular form of type system used in a programming language. Linear type systems allow references but not aliases. To enforce this, a reference goes out of scope after appearing on the right hand side of an assignment … Wikipedia
Saffron Type System — The Saffron Type System is a system for rendering high quality scalable type on digital displays. Developed by Mitsubishi Electric Research Laboritories (MERL), Saffron is built on a core of Adaptively Sampled Distance Field (ADF) technology.… … Wikipedia
Pure type system — In proof and type theory, a pure type system is a form of typed lambda calculus that obscures the distinction between types and terms and collapses the type hierarchy. It can be seen as a generalisation of Barendregt s lambda cube, and therefore… … Wikipedia
Common type system — (CTS, Стандартная система типов) часть .NET Framework, формальная спецификация, определяющая, как какой либо тип (класс, интерфейс, структура, встроенный тип данных) должен быть определён для его правильного выполнения средой .NET … Википедия
