Karena TypeScript secara struktural diketik, UserId dan OrderId yang keduanya string dapat dipertukarkan — compiler tidak dapat menghentikan Anda dari mencampurnya. Tipe bermerek mensimulasikan pengetikan nominal dengan melampirkan "merek" unik, fantom sehingga tipe yang sebaliknya identik menjadi berbeda.
// 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
Properti __brand tidak pernah ada saat runtime (nilainya hanya string), tetapi dalam sistem tipe membuat UserId dan OrderId tidak kompatibel — mencegah seluruh kelas bug pencampuran.
function toUserId(s: string): UserId {
if (!s.startsWith("u")) throw new Error("invalid UserId");
return s as UserId; // validation happens here, once
}
Validasi sekali di batas; sisa kode mempercayai tipe bermerek.
ID (UserId vs OrderId), string yang divalidasi/dibersihkan (Email, SafeHtml), satuan (Meters vs Feet), PositiveNumber — di mana pun dua nilai berbagi tipe primitif tetapi tidak boleh dicampur.
Tipe bermerek menambahkan keamanan nominal di mana pengetikan struktural terlalu permisif. Mereka menangkap pencampuran urutan argumen dan kebingungan "tidak divalidasi vs divalidasi" pada waktu kompilasi, dengan biaya runtime nol — pola yang kuat untuk pemodelan domain dalam basis kode besar dan kritis terhadap kebenaran.