Разработчик Питер Леонов (Peter Leonov) представил открытый проект TypeScript Type Predicate Generator, который создаёт строго типобезопасные, читаемые и чрезвычайно быстрые предикаты типов TypeScript. Код решения написан на TypeScript и JavaScript и опубликован на GitHub под лицензией MIT.
В итоге полученные предикаты типов (они же защитные элементы типов) сами по себе строго типобезопасны (используется оператор satisfies) и проверяются TS как часть настройки проекта. Автор проекта пояснил, что это ещё бета-версия проекта, большинство ключевых отличительных особенностей проверены на работоспособность, но все ещё есть некоторые шероховатости в коде, которые нужно отшлифовать
«Вот мой праздничный проект, в котором я пытаюсь охватить самые критичные к производительности и безопасности типов проекты, использующие JSON API, с помощью генератора кода, который производит строгий код TS. Он берет объявление типа API и выдаёт небольшую функцию TS, которая гарантирует, что заданное значение удовлетворяет типу (предикат типа). Почему я думаю, что нам нужно ещё одно решение для проверки типов во время выполнения? В основном потому, что в проектах с большим трафиком сложнее ввести ещё одну зависимость во время выполнения, отложите плагин TS. Таким образом, этот инструмент просто генерирует небольшие файлы TS, которые вы можете добавить в свой репозиторий и начать проверку полученных данных, ничего не меняя в конвейере сборки. Хотя CLI тоже доступен. Функции предикатов не выдают исключения, поэтому вы можете начать только с проверки данных и регистрации, если что‑то не совпадает. Созданный код дружелюбен к JIT и минификации», — пояснил Леонов.
