Декабрь в офисе не проходит без традиции тайного Санты. Мой вишлист остался пустым, но подарок, который я получила, удивил своей точностью. А вместе с ним пришло загадочное послание. Как новичку в компании, мне было трудно с первого взгляда угадать отправителя, поэтому я решила использовать TypeScript, чтобы найти своего Санту.

Подарок и сообщение ????

Вместе с подарком я получила тайное послание, которое стало отправной точкой типизации.

Используя подсказки из послания, я определила типы, соответствующие каждому ключевому качеству Санты.

type HasSenseOfHumor = { hasSenseOfHumor: true };
type KnowsMyTaste = { knowsMyTaste: true };
type CanFindUniqueGifts = { canFindUniqueGifts: true };
type LeavesMysteriousMessages = { leavesMysteriousMessages: true };
type LovesCats = { lovesCats: true };
type UsesTripleEmoji = { usesTripleEmoji: true };

Изучение данных ????

В треде нашего корпоративного Slack я нашла имена всех участников и приуныла: никаких общих закономерностей, каждого можно описать только уникальным набором свойств. Конфиденциальность не позволяет мне раскрыть реальные имена, поэтому в роли примеров выступят Bob и Alice — условные Санты с характерными атрибутами.

type ParticipantA = {
  name: 'Alice';
  hasSenseOfHumor: true;
  knowsMyTaste: true;
  canFindUniqueGifts: true;
  leavesMysteriousMessages: false;
  usesTripleEmoji: false;
};
type ParticipantB = {
  name: 'Bob';
  hasSenseOfHumor: true;
  knowsMyTaste: true;
  canFindUniqueGifts: true;
  leavesMysteriousMessages: true;
  lovesCats: true;
  usesTripleEmoji: true;
};

Чтобы создать универсальный тип для всего списка, мне пришлось вручную назначить типы, соответствующие индивидуальности каждого участника, допуская, что у них могут быть и другие, ещё не известные мне характеристики.

type AllParticipants = ParticipantA | ParticipantB;

Фильтрация кандидатов ????

Пришло время сузить круг поисков, применяя строгую типизацию. Отстраняя субъективные атрибуты, я сосредоточилась на четко определённых качествах, поддающихся логической проверке.

type FilteredParticipants = Extract<
  AllParticipants,
  HasSenseOfHumor & LeavesMysteriousMessages & UsesTripleEmoji
>;

Моей задачей было убедиться, что найдётся только один человек, который соответствует всем критериям. Поэтому я добавила условный тип, который исключал случай множественного совпадения.

type IsSingle<T, All = T> = T extends any
  ? Exclude<All, T> extends never
    ? T
    : never
  : never;

Если бы критериям соответствовало большее количество людей, это бы означало, что мне нужно пересмотреть эти критерии или учесть дополнительные факторы.

Разгадка ????

Силой типов и условных выражений я ограничила выбор до одного человека, который мог быть моим Тайным Сантой.

type SingleSecretSanta = IsSingle<FilteredParticipants>

Осталось только навести курсор на type SecretSanta и позволить TypeScript подсказать мне, кто же скрывается за этой загадкой.

type SecretSanta = SingleSecretSanta extends never
  ? 'No single match found'
  : SingleSecretSanta;

Узнать итог моего поиска можно здесь — код доступен в TypeScript Playground.