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