Экспериментируем с шаблонами литералов в TypeScript: как покрыть типами DSL

Cтоит глянуть этот воркшоп. Там разбираются многие техники для программирования на типах.

А в этом выступлении вкратце рассказывается, как поднимать ошибки к месту их возникновения.

Не совсем по теме шаблонов литералов, но для тренировки написания типов могу посоветовать этот репозиторий https://github.com/type-challenges/type-challenges

Картинки хорошо бы заменить на текст

Разобраться в этих вычислениях непросто.

я тупой...

второй день уже смотрю на это

у меня задача выглядит так: есть json, хочется иметь тип который содержит все пути к примитивам:

const data = {
	a1: 'it a1',
  b1: {
  	a2: {
    	a3: true
    },
    b2: 44
  }
}

type TData = "a1" | "b1.a2.a3" | "b1.b2"

пока решил с помощью генерации (js скрипт, который собирает пути и сохраняет их в файл .ts) - но хотелось бы с помощью вывода типов это сделать. Может кто подскажет?