Znaczenie pojęcia:

unia typów

Pozostałe definicje na literę U.

ang. type union

Typ powstały poprzez zsumowanie dwóch lub więcej typów. Jeżeli typ T = T1 + T2, gdzie + jest operatorem unii typów, to wartość x jest zgodna z typem T wtedy i tylko wtedy, jeżeli jest zgodna z typem T1 lub z typem T2. Z reguły unia typów dotyczy zapisów (rekordów) lub struktur; patrz: unia

typów unia,
union type