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

[nin-jin]

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

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

[DarthVictor]

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

[monochromer]

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

[RokeAlvo]

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

я тупой...

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

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

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

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

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

[movl]

Вырезал нужный код из своего примера. Здесь еще один пример решения этой задачи.

[RokeAlvo]

) вырезать-то, и я вырезал. за ссылку спасибо

[movl]

Ой, неправильно прочитал условие. Чтобы добраться только до примитивов, там надо объединение в последнем условии поправить. И обход по массиву чуть поправил.