Мастерство

TypeScript · Эксперт - архитектура, внутренности и крайние случаи

• Условные типы и infer: логика компилятораОсвой дистрибутивность условных типов, сопоставление с образцом через infer и крайние случаи вроде never, any и boolean.
• Сопоставленные типы и переименование ключей: преобразуем типыПойми, как гомоморфные сопоставленные типы сохраняют модификаторы и как выражение as переименовывает или отфильтровывает ключи.
• Шаблонные литеральные типы: строки, вычисленные при компиляцииИспользуй шаблонные литеральные типы, чтобы порождать объединения через декартовы произведения и разбирать строковые литералы с помощью infer.
• Перегрузки, типизированный this и вариантностьРазберись в разрешении перегрузок, псевдопараметре this и правилах вариантности, которые управляют присваиваемостью функций.
• Продакшен-паттерны: брендированные типы, satisfies и .d.tsПрименяй экспертные паттерны, которые защищают реальную кодовую базу: имитация номинальности, проверка без расширения типа и внешние объявления.