A tagged union (also called variant, variant record, discriminated union, or disjoint union) contains an additional field indicating its current type, for enhanced type safety.
O uniune etichetat (de asemenea, numit o variantă , înregistrare variantă, discriminați uniune, sau uniune disjuncte) conține un câmp suplimentar care indică tipul de curent, pentru siguranță sporită tip.