Вычисления на уровне типов

Программирование на типах TypeScript как вычислительная парадигма

Материалы по этому хабу появятся после индексации.