Home
•
Search
•
Translate
From Wikipedia, the free encyclopedia
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)
Topics referred to by the same 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.
Categories
:
Disambiguation pages
Type theory
Dependently typed programming
Hidden categories:
Short description is different from Wikidata
All article disambiguation pages
All disambiguation pages
Top Of Page
Home
•
Search
•
Translate
©
CSE