`Exclude<T, U>` và `Extract<T, U>` là gì?

Exclude<T, U> loại bỏ khỏi union T những types có thể assign cho U: Exclude<'a'|'b'|'c', 'a'> cho ra 'b'|'c'. Extract<T, U> ngược lại — giữ lại những types assign được cho U: Extract<string|number|boolean, string|number> cho ra string|number.

Ví dụ thực tế: type NonString<T> = Exclude<T, string> để lọc string ra khỏi union.

• Mẹo nhớ: Exclude = loại ra (exclude từ vocabulary), Extract = trích ra phần giao nhau.
• Nền tảng của NonNullable<T> chính là Exclude<T, null | undefined>.