Skorzystaj z wyszukiwarki lub indeksu alfabetycznego.
Przykłady: pci, /dev/null, functional unit, embedded system, pseudo-tty, nfs.
1 definition found
From The Free On-line Dictionary of Computing (05 January 2017) [foldoc]:
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.
(1995-02-03)