Deoarece TypeScript este tipat structural, un UserId și un OrderId care sunt ambele string sunt interschimbabile — compilatorul nu te poate opri să le confunzi. Tipurile marcate simulează tiparea nominală prin atașarea unui "brand" unic și fantomă, făcând ca tipurile altfel identice să devină distincte.
// 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
Proprietatea __brand nu există niciodată la runtime (valoarea este doar un string), dar în sistemul de tipuri face UserId și OrderId incompatibile — prevenind o întreagă clasă de bug-uri de confuzie.
function toUserId(s: string): UserId {
if (!s.startsWith("u")) throw new Error("invalid UserId");
return s as UserId; // validation happens here, once
}
Validează o dată la limită; restul codului se încrede în tipul marcat.
ID-uri (UserId vs OrderId), șiruri validate/sanitizate (Email, SafeHtml), unități (Meters vs Feet), PositiveNumber — oriunde două valori împart un tip primitiv dar nu trebuie confundate.
Tipurile marcate adaugă siguranță nominală unde tiparea structurală este prea permisivă.
Ele capturează confuziile de ordinea argumentelor și confuziile de "nevalidat versus validat" la compile-time, cu cost zero la runtime — un model puternic pentru modelarea domeniului în baze de cod mari, critice pentru corectitudine.
O bibliotecă de întrebări de interviu IT cu răspunsuri detaliate — de la Junior la Senior.
Donează