Представлен открытый проект TypeScript Type Predicate Generator
Разработчик Питер Леонов (Peter Leonov) представил открытый проект TypeScript Type Predicate Generator, который создаёт строго типобезопасные, читаемые и чрезвычайно быстрые предикаты типов TypeScript.
Код решения написан на TypeScript и JavaScript и опубликован на GitHub под лицензией MIT. В итоге полученные предикаты типов (они же защитные элементы типов) сами по себе строго типобезопасны (используется оператор satisfies) и проверяются TS как часть настройки проекта.
habr.com