কারণ 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
}
সীমানায় একবার যাচাই করুন; বাকি কোড ব্র্যান্ডেড টাইপ বিশ্বাস করে।
আইডি (UserId বনাম OrderId), যাচাইকৃত/স্যানিটাইজড স্ট্রিং (Email, SafeHtml), ইউনিট (Meters বনাম Feet), PositiveNumber — যেকোনো জায়গায় দুটি মান একটি প্রিমিটিভ টাইপ ভাগ করে কিন্তু বিভ্রান্ত হওয়া উচিত নয়।
ব্র্যান্ডেড টাইপগুলি নমিনাল নিরাপত্তা যোগ করে যেখানে স্ট্রাকচারাল টাইপিং খুব অনুমতিশীল।
তারা আর্গুমেন্ট-অর্ডার মিক্স-আপ এবং "যাচাইবিহীন বনাম যাচাইকৃত" বিভ্রান্তি কম্পাইল সময়ে ধরে, শূন্য রানটাইম খরচ সহ — বড়, শুদ্ধতা-সমালোচনামূলক কোডবেসে ডোমেইন মডেলিংয়ের জন্য একটি শক্তিশালী প্যাটার্ন।