Budući da je TypeScript strukturno tipiziran, UserId i OrderId koji su oba string su zamjenjivi — kompajler vas ne može spriječiti da ih pomješate. Branded types simuliraju nominalnu tipizaciju dodavanjem jedinstvene, fantomske "marke" kako bi se inače identični tipovi postali različiti.
// 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
Svojstvo __brand nikada ne postoji tijekom izvođenja (vrijednost je samo string), ali u sustavu tipova čini UserId i OrderId neusklađenima — sprječavajući cijelu klasu grešaka miješanja.
function toUserId(s: string): UserId {
if (!s.startsWith("u")) throw new Error("invalid UserId");
return s as UserId; // validation happens here, once
}
Provjerite jednom na granici; ostatak koda vjeruje brendiranom tipu.
IDovi (UserId vs OrderId), validirani/očišćeni stringovi (Email, SafeHtml), jedinice (Meters vs Feet), PositiveNumber — bilo gdje dva vrijednosti dijele primitivni tip ali se ne smiju miješati.
Brended types dodaju nominalnu sigurnost gdje je strukturna tipizacija previše permisivna. Uhvaćaju miješanje redosljeda argumenata i zbunjenost "nevalidirano naspram validirano" pri kompajliranju, s nultom cijenom izvođenja — moćan obrazac za domensko modeliranje u velikim, kritičnim za korektnost bazama koda.