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)

Mentioned in

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.

Improving recall and transfer skills through vocabulary building in web-based second language learning: an examination by item and feedback type

A shortcut is to make use of constructed types to enforce Herbrand interpretations over certain types.

First-order logic with inductive definitions for model-based problem solving

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.