Демонстрация возможностей системы типов TypeScript: реализация четырёхбитной виртуальной машины и пример выполнения на ней FizzBuzz исключительно на типах → https://gist.github.com/acutmore/9d2ce837f019608f26ff54e0b1c23d6e