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
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.