Построение условных утилит

Принципы

• Conditional-типы позволяют реализовать аналоги Exclude, Pick, Omit, управляя ключами и значениями.
• Дополнительные утилиты вроде NullableProps<T> помогают находить свойства, допускающие null | undefined.
• ReturnTypeAsync демонстрирует комбинирование синхронных и асинхронных функций в одной сигнатуре.

Пример

type RemoveFromUnion<T, K> = T extends K ? never : T;
type ExcludeKeys<T, K extends keyof T> = {
  [P in K]: T[P];
};

type NullableProps<T> = {
  [P in keyof T]: T[P] extends null | undefined ? P : never;
}[keyof T];

type ReturnTypeAsync<T extends (...args: any) => any> = T extends (
  ...args: any
) => Promise<infer R>
  ? R
  : T extends (...args: any) => infer R
  ? R
  : any;

async function fetchUser(userId: number) {
  return { email: 'mail@example.com', password: 'secret' };
}

type User = ReturnTypeAsync<typeof fetchUser>; // { email: string; password: string; }

Практика

• Стройте собственные утилиты для узких задач: выбор nullable-полей, преобразование ключей, фильтрация типов.
• Оборачивайте условные типы в алиасы с понятными именами, чтобы улучшить читаемость.
• Следите за тем, что console.log(person); в исходном коде был лишним — избегайте побочных эффектов в типовых примерах.