TypeScript 5.4 добавляет тип NoInfer

Вышла версия TypeScript 5.4, в которой добавлен полезный тип NoInfer, а также сохранено сужение закрытий после последних назначений.

TypeScript - это надмножество JavaScript, добавляющее дополнительные статические типы, которые могут быть проверены компилятором TypeScript для выявления типичных ошибок в ваших программах. TypeScript может использовать эту информацию, чтобы помочь вам избежать таких ошибок, как опечатки, пропущенные аргументы или забытые проверки на null и undefined.

Новый тип утилиты NoInfer решает потенциальную проблему при вызове общих функций. TypeScript пытается вывести тип аргументов из того, что вы передаете, но не всегда понятно, какой тип лучше выбрать для вывода. Новый полезный тип NoInfer<T> можно использовать, чтобы дать сигнал TypeScript не пытаться сопоставить внутренние типы для поиска кандидатов на вывод типа.

Добавление сохранения сужения в закрытиях после последних присваиваний означает, что когда TypeScript выработал более конкретный тип для переменной на основе выполненных вами проверок (сужение типа), этот тип сохраняется в закрытиях функций.

Следующее улучшение - добавление деклараций для новых статических методов JavaScript Object.groupBy и Map.groupBy. Object.groupBy принимает итерируемый объект. Он также принимает функцию, которая группирует все элементы, создавая ключ для каждой отдельной группы. Object.groupBy использует этот ключ для создания объекта, в котором каждый ключ сопоставляется с массивом, содержащим исходный элемент. Map.groupBy аналогична, но вместо обычного объекта создает Map.

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

TypeScript 5.4 доступен уже сейчас.