Hizi ni zana za programu ya ngazi ya aina ya TypeScript — zinakokotoa aina mpya kutoka kwa zile zilizokuwepo.
Aina iliyochorwa hurudia juu ya funguo za aina na kubadilisha kila moja:
<T> = { [K keyof T]: T[K] };
<T> = { [K keyof T]?: T[K] };
{ : ; : ; }
= <>;
[K in keyof T] hurudia juu ya kila funguo K; T[K] ni aina ya thamani ya funguo hiyo. Hii ndio jinsi Partial, Readonly, na Required zilivyotekelezwa. Unaweza pia kukamatia upya funguo na kuongeza modifiers (-readonly, -? kuziondoa).
type IsString<T> = T extends string ? "yes" : "no";
type A = IsString<string>; // "yes"
type B = IsString<number>; // "no"
T extends U ? X : Y ni if/else ya ngazi ya aina. Kwa infer unaweza kutoa aina ndani ya hali:
type ElementOf<T> = T extends (infer U)[] ? U : never;
type E = ElementOf<string[]>; // string
// Make only the function-valued properties optional
type PartialMethods<T> = {
[K in keyof T]: T[K] extends Function ? T[K] | undefined : T[K];
};
Aina iliyochorwa pia kusambaza juu ya unions katika masharti, kuwezesha mabadiliko yenye nguvu.
Mapped na conditional types huruhusu maktaba kueleza uhusiano halisi wa aina — zinatekeleza aina za utility, nguvu ya fomu/uthibitisho wa maktaba, wajenzi wa swali wa ORM, na wateja wa API ambao wanakadiria maumbo ya jibu.
Ni za advanced, lakini kuelewa kwao kunaeleza kwa nini mfumo wa aina wa TypeScript unaweza kuwa na kujieleza kwa kiasi, na hukuruhusu kujenga mabadiliko ya aina ya kurudia badala ya kuandika kwa mikono vianti.