Inductive data type
≈ 1 min read
Names in other languages
No names in other languages are held for this entry yet.
Article bodies are English and are not machine-translated. A name in another language is not a translation of the article.
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
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
Text derived from https://en.wikipedia.org/w/index.php?oldid=926634634 under CC BY-SA 4.0; modifications have been made.