Что такое тип-уровневое программирование (type-level programming)?

Type-level programming — это написание логики, которая выполняется компилятором TypeScript во время проверки типов, а не в рантайме. Ты пишешь условия через conditional types, циклы через рекурсию и mapped types, переменные через infer и generic-параметры. По сути это отдельный функциональный язык внутри TypeScript, работающий только на этапе компиляции.