Comments 2
Cтоит глянуть этот воркшоп. Там разбираются многие техники для программирования на типах.
А в этом выступлении вкратце рассказывается, как поднимать ошибки к месту их возникновения.
Не совсем по теме шаблонов литералов, но для тренировки написания типов могу посоветовать этот репозиторий https://github.com/type-challenges/type-challenges
Only those users with full accounts are able to leave comments. Log in, please.
Экспериментируем с шаблонами литералов в TypeScript: как покрыть типами DSL