ArkType - первый изоморфный типобезопасный рантайм валидатор (типов) с поддержкой TypeScript синтаксиса для JS и TS проектов.

Каждый введенный вами символ анализируется статически, поэтому вы будете точно знать, чего ожидать как во время разработки так и во время выполнения.