Eftersom TypeScript är strukturellt typat kan en UserId och en OrderId som båda är string vara utbytbara — kompilatorn kan inte hindra dig från att blanda ihop dem. Märkta typer simulerar nominell typning genom att fästa ett unikt, phantom-märke så att annars identiska typer blir distinkta.
// 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 existerar aldrig vid körning (värdet är bara en sträng), men i typsystemet gör det UserId och OrderId inkompatibla — vilket förhindrar en hel klass av blandnings-buggar.
function toUserId(s: string): UserId {
if (!s.startsWith("u")) throw new Error("invalid UserId");
return s as UserId; // validation happens here, once
}
Validera en gång vid gränsen; resten av koden litar på den märkta typen.
ID:n (UserId vs OrderId), validerade/rengjorda strängar (Email, SafeHtml), enheter (Meters vs Feet), PositiveNumber — överallt två värden delar en primitiv typ men inte får förväxlas.
Märkta typer lägger till nominell säkerhet där strukturell typning är för tillåtande.
De fångar argument-ordnings-blandningar och "ovaliderad vs validerad"-förvirring vid kompileringen, utan någon körtidskostnad — ett kraftfullt mönster för domänmodellering i stora, korrekthetskritiska kodbaser.