Minħabba li TypeScript hu ttipat strutturali, UserId u OrderId li huma t-tnejn string huma interscambjabbli — il-compiler ma jistax jwaqqafek minn li thamlithom. L-ittipati tal-marka jusimulaw it-tip nominali billi jiffissaw markinanza unika, "phantom" biex it-tipat identici mod ieħor isiru distinti.
// 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
L-proprjetà __brand qatt ma teżisti fil-ħin ta' runtime (il-valur hu biss string), iżda fis-sistema ta' tip jagħmlu UserId u OrderId li mhumiex kompatibbli — nipprevjeni klassi sħiħa ta' bugs tal-ħlantmixkija.
function toUserId(s: string): UserId {
if (!s.startsWith("u")) throw new Error("invalid UserId");
return s as UserId; // validation happens here, once
}
Ivalida darba fil-konfini; il-baki tal-kodiċi jafdu fl-ittipa tal-marka.
IDs (UserId vs OrderId), strings validati/sanifikati (Email, SafeHtml), unità (Meters vs Feet), PositiveNumber — kull wiekħa fejn żewġ valuri jaqsmu tip primittiv iżda m'għandhomx jiġu mħaltin.
L-ittipati tal-marka jżidu sigurtà nominali fejn it-tip strutturali huwa permissiv wisq.
Huma jaqbdu l-mix-ups tal-ordni tal-argument u l-konfużjoni "unvalidated vs validated" fil-ħin tal-kompilazzjoni, b'żero runtime cost — mudell qawwi għall-imsindja tad-dominju f'codebases kbar, kritika għall-korrettezza.