कारण 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
}
सीमांवर एकदा प्रमाणित करा; कोडचा उर्वरित भाग ब्रांडेड प्रकारांवर विश्वास ठेवतो.
ID (UserId vs OrderId), सत्यापित/सफाई केलेल्या स्ट्रिंग्स (Email, SafeHtml), युनिट्स (Meters vs Feet), PositiveNumber — कोणतेही दोन मूल्य आदिम प्रकार सामायिक करतात परंतु मिश्रित होऊ शकत नाहीत.
ब्रांडेड प्रकार नॉमिनल सुरक्षा जोडतात जेथे संरचनात्मक टाइपिंग खूप परवानगीदेणे असते.
ते वाद-क्रम मिश्रण आणि "अपरीक्षित बनाम सत्यापित" संभ्रमण कंपाइल वेळी पकडतात, शून्य रनटाइम खर्चासह — डोमेन मॉडेलिंगसाठी एक शक्तिशाली पद्धत मोठ्या, अचूकता-गंभीर कोडबेसमध्ये.