ਕਿਉਂਕਿ 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
}
ਸੀਮਾ ਤੇ ਇੱਕ ਵਾਰ ਪ੍ਰਮਾਣਿਤ ਕਰੋ; ਮੁਤਾਬਿਕ ਕੋਡ ਬ੍ਰਾਂਡੇਡ ਕਿਸਮ ਤੇ ਭਰੋਸਾ ਕਰਦਾ ਹੈ।
IDs (UserId vs OrderId), ਪ੍ਰਮਾਣਿਤ/ਸਾਫ਼ ਕੀਤੀਆਂ ਸਤਰਾਂ (Email, SafeHtml), ਯੂਨਿਟ (Meters vs Feet), PositiveNumber — ਕਿੱਥੇ ਵੀ ਦੋ ਮੁੱਲ ਮੌਲਿਕ ਕਿਸਮ ਸਾਂਝਾ ਕਰਦੇ ਹਨ ਪਰ ਉਲਝਾਇਆ ਨਹੀਂ ਜਾਣਾ ਚਾਹੀਦਾ।
ਬ੍ਰਾਂਡੇਡ ਕਿਸਮਾਂ ਨਾਮਾਤਮਕ ਸੁਰੱਖਿਆ ਸ਼ਾਮਿਲ ਕਰਦੀਆਂ ਹਨ ਜਿੱਥੇ ਬਣਤਰੀ ਟਾਇਪਿੰਗ ਬਹੁਤ ਅਨੁਮਾਨੀ ਹੈ।
ਉਹ ਆਰਗੂਮੈਂਟ-ਕ੍ਰਮ ਮਿਸ਼ਣ ਅਤੇ "ਅਪ੍ਰਮਾਣਿਤ vs ਪ੍ਰਮਾਣਿਤ" ਗੜਬੜ ਨੂੰ ਸੰਕਲਨ ਸਮੇਂ ਫੜਦੇ ਹਨ, ਜ਼ੀਰੋ ਰਨ ਟਾਈਮ ਲਾਗਤ ਦੇ ਨਾਲ — ਵੱਡੇ, ਸ਼ੁੱਧਤਾ-ਮਹੱਤਵਪੂਰਨ ਕੋਡਬੇਸ ਵਿੱਚ ਡੋਮੇਨ ਮਾਡਲਿੰਗ ਲਈ ਇੱਕ ਸ਼ਕਤੀਸ਼ਾਲੀ ਪੈਟਰਨ।