किनभने TypeScript संरचनात्मक रूपमा टाइप गरिएको हो, UserId र OrderId जो दुवै string हुन् त्यो अन्तरबदली गर्न सकिन्छ — कम्पाइलर तपाईंलाई तिनीहरूलाई मिश्रित गर्नबाट रोक्न सक्दैन। ब्र्यान्डेड प्रकारहरू एक अद्वितीय, भूतकालको "ब्र्यान्ड" जोडेर टाइपिङलाई अनुकरण गर्छन् ताकि अन्यथा समान प्रकारहरू फरक हुन्छन्।
// 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 रनटाइममा कहिले पनि अस्तित्वमा हुँदैन (मान केवल स्ट्रिङ हो), तर टाइप सिस्टेममा यसले UserId र OrderId लाई असंगत बनाउँछ — मिश्रण बगहरूको सम्पूर्ण वर्गलाई रोक्छ।
function toUserId(s: string): UserId {
if (!s.startsWith("u")) throw new Error("invalid UserId");
return s as UserId; // validation happens here, once
}
सीमामा एक पटक प्रमाणित गर्नुहोस्; कोडको बाकी भाग ब्र्यान्डेड प्रकारमा विश्वास गर्छ।
IDs (UserId vs OrderId), प्रमाणित/सफा गरिएका स्ट्रिङहरू (Email, SafeHtml), इकाइहरू (Meters vs Feet), PositiveNumber — कहिले पनि दुई मानहरू आदिम प्रकार साझेदारी गर्छन् तर मिश्रित हुनु हुँदैन।
ब्र्यान्डेड प्रकारहरूले नामिक सुरक्षा थप्छन् जहाँ संरचनात्मक टाइपिङ धेरै अनुमति दिइरहेको हुन्छ।
तिनीहरू तर्क-अर्डर मिश्रण र "गैर-सत्यापित बनाम सत्यापित" भ्रमलाई कम्पाइल समयमा पक्रान्छन्, शून्य रनटाइम लागतमा — डोमेन मडलिङको लागि एक शक्तिशाली प्याटर्न ठूलो, शुद्धता-महत्वपूर्ण कोडबेसमा।