Ker je TypeScript strukturno tipiziran, sta UserId in OrderId, ki sta oba string, zamenljiva — prevajalnik te ne more ustaviti pred njihovim zmešanjem. Označeni tipi simulirajo imensko tipizacijo z dodajanjem edinstvene, fantomske "oznake", da postanejo drugače identični tipi različni.
// the brand is a property that exists only in the type system, never at runtime
type Brand<T, B> = T & { readonly __brand: B };
type UserId = Brand<string, "UserId">;
type OrderId = Brand<string, "OrderId">;
function getUser(id: UserId) { return id; }
const uid = "u1" as UserId;
const oid = "o1" as OrderId;
getUser(uid); // ✅
getUser(oid); // ❌ Error: OrderId is not assignable to UserId
getUser("u1"); // ❌ Error: plain string is not a UserId
Lastnost __brand nikoli ne obstaja med izvajanjem (vrednost je samo niz), vendar v sistemu tipov naredi UserId in OrderId nezdružljiva — preprečuje cel razred napak zmešanja.
function toUserId(s: string): UserId {
if (!s.startsWith("u")) throw new Error("invalid UserId");
return s as UserId; // validation happens here, once
}
Potrdi enkrat na meji; preostali kod se zanaša na označeni tip.
ID-ji (UserId vs OrderId), potrjeni/očiščeni nizi (Email, SafeHtml), enote (Meters vs Feet), PositiveNumber — povsod, kjer si dve vrednosti delita primitivni tip, a se ne smeta zmešati.
Označeni tipi dodajajo imensko varnost, kjer je strukturna tipizacija prepermisivna.
Lovilke zamešane vrstice argumentov in zmešanje "nepotrjenega glede na potrjenega" ob času prevajanja, brez stroškov pri izvajanju — zmogljiv vzorec za modeliranje domene v velikih, kritičnih za pravilnost bazah kode.