لأن 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 — في أي مكان تشترك قيمتان في نوع بدائي ولكن يجب عدم الخلط بينهما.
الأنواع المميزة تضيف حماية اسمية حيث تكون الكتابة الهيكلية متساهلة جداً.
تقبض على أخطاء ترتيب الحجج والالتباس بين "غير المتحقق من صحته مقابل المتحقق من صحته" في وقت الترجمة، بدون أي تكلفة في وقت التشغيل — نمط قوي لنمذجة المجال في أكواد كبيرة وحساسة للدقة.