constructed type

constructed type

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.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in periodicals archive ?
Usually items for questioning are grouped into either a selection type or a constructed type (Gredler, 1999).
A constructed type of item includes short answer, completion and essay formats, and is often referred to as the subjective type of response.
A shortcut is to make use of constructed types to enforce Herbrand interpretations over certain types.