Продолжение. Начало здесь. Предыдущая часть. Репозиторий с кодом - на гитхабе.(Сокращения: НАМ - нормальные алгорифмы Маркова, КТ - компайл-тайм, РТ - рантайм).Следующая неприятность, которая нас ждёт, - это циклы, которые в КТ вовсе не циклы. Нам надо как-то научиться бегать по правилам, из которых состоит НАМ-программа. Читать далее
Какие программы могут быть по-настоящему достойны хаба "ненормальное программирование"?Конечно же, программы для нормальных марковских алгорифмов! (Далее - НАМ).Но, будем честны перед собой: абстрактные машины - очень просты в реализации. Зачастую вызов состоит в том,…
Продолжение. Первая часть - программирование на НАМ. Вторая - обзор неприятностей, концепты.Пришло время запутаться и распутаться со строками в компайл-тайме... и с зависимыми типами.Основные требования к КТ-строкам - чтобы можно было использовать их в качестве параметров шаблона, и чтобы можно было писать constexpr-функции, логика и типы которых зависят от значений аргументов. Это не очень сложно, но может быть неочевидно. Читать далее
(Продолжение. См. первую часть, где мы научились кодить на марковских алгорифмах "на бумажке").Какие неприятности нас ждут?Я уже сказал, что реализация НАМ в КТ - это задача со звёздочкой.Что нам придётся героически преодолеть, и о чём понятно прямо на старте? Читать далее