Types of Types
A type of types is a kind. Kinds appear explicitly in typeful programming, such as a type constructor in the Haskell language.
Types fall into several broad categories:
- Primitive types – the simplest kind of type; e.g., integer and floating-point number
- Boolean
- Integral types – types of whole numbers; e.g., integers and natural numbers
- Floating point types – types of numbers in floating-point representation
- Reference types
- Option types
- Nullable types
- Composite types – types composed of basic types; e.g., arrays or records.
- Abstract data types
- Algebraic types
- Subtype
- Derived type
- Object types; e.g., type variable
- Partial type
- Recursive type
- Function types; e.g., binary functions
- universally quantified types, such as parameterized types
- existentially quantified types, such as modules
- Refinement types – types that identify subsets of other types
- Dependent types – types that depend on terms (values)
- Ownership types – types that describe or constrain the structure of object-oriented systems
- Pre-defined types provided for convenience in real-world applications, such as date, time and money.
Read more about this topic: Type System
Famous quotes containing the words types of and/or types:
“The wider the range of possibilities we offer children, the more intense will be their motivations and the richer their experiences. We must widen the range of topics and goals, the types of situations we offer and their degree of structure, the kinds and combinations of resources and materials, and the possible interactions with things, peers, and adults.”
—Loris Malaguzzi (1920–1994)
“The rank and file have let their servants become their masters and dictators.... Provision should be made in all union constitutions for the recall of leaders. Big salaries should not be paid. Career hunters should be driven out, as well as leaders who use labor for political ends. These types are menaces to the advancement of labor.”
—Mother Jones (1830–1930)