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 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)