Branded Types (Nominal Typing) untuk Zero-Cost Safety

// Membuat helper Branded Type
type Brand<K, T> = K & { readonly __brand: T };

type UserId = Brand<number, 'UserId'>;
type OrderId = Brand<number, 'OrderId'>;

function buatUserId(id: number): UserId {
    return id as UserId;
}

function buatOrderId(id: number): OrderId {
    return id as OrderId;
}

function prosesPesananPengguna(uId: UserId, oId: OrderId) {
    console.log(`Proses user #${uId} untuk order #${oId}`);
}

const u = buatUserId(101);
const o = buatOrderId(9901);

prosesPesananPengguna(u, o);
// prosesPesananPengguna(o, u); // Compile Error! UserId tidak kompatibel dengan OrderId!