Inductive data type
From HandWiki
Inductive data type may refer to:
- Algebraic data type, a datatype each of whose values is data from other datatypes wrapped in one of the constructors of the datatype
- Inductive family, a family of inductive data types indexed by another type or value
- Recursive data type, a data type for values that may contain other values of the same type
See also
- Inductive type
- Induction (disambiguation)
Short description: Disambiguation page providing links to topics that could be referred to by the same search term
This disambiguation page lists articles associated with the title Inductive data type. If an internal link led you here, you may wish to change the link to point directly to the intended article. |
__DISAMBIG__
Original source: https://en.wikipedia.org/wiki/Inductive data type.
Read more |