Conditional types trong TypeScript là gì?

// Cơ bản
type IsString<T> = T extends string ? true : false;
type A = IsString<string>; // true
type B = IsString<number>; // false

// Distributive: tự động phân phối trên union
type NonNullable<T> = T extends null | undefined ? never : T;
type C = NonNullable<string | null | undefined>; // string

// Infer: extract type từ bên trong
type ReturnType<T> = T extends (...args: any[]) => infer R ? R : never;
type D = ReturnType<() => number>; // number

// Thực tế: flatten array type
type Flatten<T> = T extends Array<infer Item> ? Item : T;
type E = Flatten<string[]>; // string
type F = Flatten<number>;   // number