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