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:
“Our children evaluate themselves based on the opinions we have of them. When we use harsh words, biting comments, and a sarcastic tone of voice, we plant the seeds of self-doubt in their developing minds.... Children who receive a steady diet of these types of messages end up feeling powerless, inadequate, and unimportant. They start to believe that they are bad, and that they can never do enough.”
—Stephanie Martson (20th century)
“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)