Fordi TypeScript er strukturelt typet, er en UserId og en OrderId, der begge er string, udvekselige — compileren kan ikke stoppe dig fra at blande dem. Mærkede typer simulerer nominel typning ved at tilføje et unikt, fantom "mærke", så ellers identiske typer bliver adskilte.
// 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
Egenskaben __brand eksisterer aldrig på kørselstidspunktet (værdien er blot en streng), men i typesystemet gør det UserId og OrderId inkompatible — forhindrer en hel klasse af blanding af fejl.
function toUserId(s: string): UserId {
if (!s.startsWith("u")) throw new Error("invalid UserId");
return s as UserId; // validation happens here, once
}
Validér én gang ved grænsen; resten af koden stoler på den mærkede type.
ID'er (UserId vs OrderId), validerede/saniterede strenge (Email, SafeHtml), enheder (Meters vs Feet), PositiveNumber — overalt hvor to værdier deler en primitiv type, men ikke må blandes.
Mærkede typer tilføjer nominel sikkerhed, hvor strukturel typning er for tilladt.
De opfanger argument-ordre-blandinger og "uvalideret vs valideret"-forvirring på kompileringstidspunktet, med nul runtime-omkostninger — et kraftfuldt mønster for domænemodellering i store, korrekthedskritiske kodebaser.