Fordi TypeScript er strukturelt typet, er en UserId og en OrderId som begge er string utskiftbare — kompilatoren kan ikke stoppe deg fra å blande dem. Merkede typer simulerer nominale typing ved å feste en unik, fantom "merke" slik at ellers identiske typer blir distinkte.
// 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
Egenskapen __brand eksisterer aldri ved kjøring (verdien er bare en streng), men i typesystemet gjør det UserId og OrderId inkompatible — og forhindrer en hel klasse blandingsfeil.
function toUserId(s: string): UserId {
if (!s.startsWith("u")) throw new Error("invalid UserId");
return s as UserId; // validation happens here, once
}
Valider en gang ved grensen; resten av koden stoler på den merkede typen.
ID-er (UserId vs OrderId), validerte/rensede strenger (Email, SafeHtml), enheter (Meters vs Feet), PositiveNumber — overalt hvor to verdier deler en primitiv type men ikke må blandes.
Merkede typer legger til nominale sikkerhet der strukturell typing er for tillatt. De fanger argument-rekkefølge-blandinger og "uvalidert vs validert"-forvirring ved kompileringstid, med null kjøringskostnad — et kraftig mønster for domenemodelering i store, korrekthetskritiske kodebaser.