slovodefinícia
constructed type
(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)
podobné slovodefinícia

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4