Karena TypeScript adalah jenis struktural, UserId dan OrderId yang keduanya string dapat ditukar — penyusun tidak dapat menghentikan Anda dari mencampurnya. Jenis bermerek mensimulasikan pengetikan nominal dengan melampirkan merek "phantom" unik sehingga jenis yang 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 pada waktu runtime (nilainya hanya string), tetapi dalam sistem jenis 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 jenis bermerek.
ID (UserId vs OrderId), string yang divalidasi/dimurnikan (Email, SafeHtml), unit (Meters vs Feet), PositiveNumber — di mana saja dua nilai berbagi jenis primitif tetapi tidak boleh dicampur.
Jenis bermerek menambahkan keselamatan nominal di mana pengetikan struktural terlalu permisif.
Mereka menangkap pencampuran urutan argumen dan kebingungan "tidak tervalidasi vs tervalidasi" pada waktu kompilasi, tanpa biaya runtime — pola yang kuat untuk pemodelan domain dalam basis kode besar yang kritis untuk kebenaran.