કારણ કે TypeScript માળખાકીય રીતે ટાઇપ થયેલ છે, UserId અને OrderId જે બંને string છે તે અદલાબદલીશીલ છે — કમ્પાઇલર તમને તેમને મિશ્રિત કરતા અટકાવી શકતો નથી. Branded types અનન્ય, ફેન્ટમ "બ્રાન્ડ" જોડીને નોમિનલ ટાઇપિંગનું અનુરૂપણ કરે છે જેથી અન્યથા સરખા પ્રકારો અલગ થઈ જાય.
// 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 પ્રોપર્ટી રનટાઇમ પર કદી અસ્તિત્વમાં આવતી નથી (મૂલ્ય માત્ર string છે), પરંતુ પ્રકાર સિસ્ટમમાં તે UserId અને OrderId ને અસંગત બનાવે છે — મિશ્રણ ભૂલોનો સંપૂર્ણ વર્ગ અટકાવે છે.
function toUserId(s: string): UserId {
if (!s.startsWith("u")) throw new Error("invalid UserId");
return s as UserId; // validation happens here, once
}
સીમાએ એક વખત માન્યતા આપો; કોડનો બાકી ભાગ branded type પર વિશ્વાસ કરે છે.
IDs (UserId વિ OrderId), માન્યતા પ્રાપ્ત/સ્વચ્છ string (Email, SafeHtml), એકમો (Meters વિ Feet), PositiveNumber — ગમે તે જગ્યાએ બે મૂલ્યો આદિમ પ્રકાર શેર કરે છે પરંતુ મિશ્રિત થવું જોઇએ નહીં.
Branded types નોમિનલ સુરક્ષા ઉમેરે છે જ્યાં માળખાકીય ટાઇપિંગ ખૂબ ક્ષમતાશીલ છે. તેઓ દલીલ-ક્રમ મિશ્રણ અને "માન્યતા વિનાનું વર્સેસ માન્ય" મૂંઝવણને કમ્પાઇલ સમયે પકડે છે, શૂન્ય રનટાઇમ કીમતે — ડોમેન મોડેલિંગ માટે મોટી, સચોટતા-કટોકટીવાળા કોડબેસમાં શક્તિશાળી પેટર્ન.