Веб-страница | frontend, backend, fullstack, react, vue, javascript, typescript, css, html
IT и технологии · 5 июня 2026 г.
TypeScript иногда выбирает тип, который кажется нелогичным. Вот почему — 5 июня 2026 г. в 12:59:10.354
TypeScript иногда выбирает тип, который кажется нелогичным. Вот почему В TypeScript дженерики обычно работают интуитивно, пока внезапно не выдают unknown вместо ожидаемого пересечения или сворачивают объединение обобщённых типов не туда. Автор разбирает механику, которая стоит за этими сюрпризами: как компилятор выбирает кандидатов для типовых переменных, почему один аргумент может доминировать над другим и когда inference ломает интуицию. Если пишете типизированные библиотеки или просто хотите понять, почему компилятор ведёт себя именно так, я бы сохранил на тот случай, когда очередной неожиданный вывод типов застанет врасплох и придётся объяснять команде, почему ваш код компилируется совсем не так, как вы предполагали.