follow Dictionary.com

Stories We Like: A Guide to the Comma

constructed type

constructed type in Technology

A type formed by applying some type constructor function to one or more other types. The usual constructions are functions: t1 -> t2, products: (t1, t2), sums: t1 + t2 and lifting: lift(t1).
(In LaTeX, the lifted type is written with a subscript \perp).
See also algebraic data type, primitive type.
(1995-02-03)
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Word Value for constructed

16
20
Scrabble Words With Friends