TypeScript yapısal olarak yazıldığından, UserId ve OrderId ikisi de string olduğunda birbirinin yerine kullanılabilir — derleyici onları karıştırmanızı durduramaz. Branded types, benzersiz, hayali bir "brand" ekleyerek nominal yazımı simüle eder, böylece aksi takdirde özdeş türler farklı hale gelir.
// 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
__brand özelliği çalışma zamanında hiçbir zaman mevcut değildir (değer sadece bir stringdir), ancak tür sisteminde UserId ve OrderIdyi uyumlu olmayan hale getirir — karışıklık hataların tüm bir sınıfını engeller.
function toUserId(s: string): UserId {
if (!s.startsWith("u")) throw new Error("invalid UserId");
return s as UserId; // validation happens here, once
}
Sınırda bir kez doğrulayın; kodun geri kalanı branded type'a güvenir.
IDs (UserId vs OrderId), doğrulanmış/temizlenmiş stringler (Email, SafeHtml), birimler (Meters vs Feet), PositiveNumber — iki değerin ilkel bir tür paylaştığı, ancak karışmaması gereken her yerde.
Branded types, yapısal yazımın çok müsamaha karşılıklı olduğu yerde nominal güvenlik ekler.
Argüman sırası karışıklıklarını ve "doğrulanmamış vs doğrulanmış" kafa karışıklığını derleme zamanında yakalarlar, sıfır çalışma zamanı maliyeti olmadan — büyük, doğruluk açısından kritik kod tabanlarında alan modelleme için güçlü bir desen.