Ненормальное марковское программирование: бег по правилам

Продолжение. Начало здесь . Предыдущая часть . Репозиторий с кодом - на гитхабе . (Сокращения: НАМ - нормальные алгорифмы Маркова, КТ - компайл-тайм, РТ - рантайм). Следующая неприятность, которая нас ждёт, - это циклы, которые в КТ вовсе не циклы. Нам надо как-то научиться бегать по правилам, из которых состоит НАМ-программа.

https://habr.com/ru/articles/1049258/

#нормальные_алгоритмы_маркова #constexpr #template #template_metaprogramming #string #compiletime #compiletime_computation #c++ #монады #either

Ненормальное марковское программирование: КТ-строки и синглетоны

Продолжение. Первая часть - программирование на НАМ . Вторая - обзор неприятностей, концепты . Пришло время запутаться и распутаться со строками в компайл-тайме... и с зависимыми типами. Основные требования к КТ-строкам - чтобы можно было использовать их в качестве параметров шаблона, и чтобы можно было писать constexpr-функции, логика и типы которых зависят от значений аргументов. Это не очень сложно, но может быть неочевидно.

https://habr.com/ru/articles/1048176/

#ненормальное_программирование #нормальные_алгоритмы_маркова #constexpr #template_metaprogramming #template #concept #string #compiletime #compiletime_computation

Ненормальное марковское программирование: неприятности

(Продолжение. См. первую часть , где мы научились кодить на марковских алгорифмах "на бумажке"). Какие неприятности нас ждут? Я уже сказал, что реализация НАМ в КТ - это задача со звёздочкой. Что нам придётся героически преодолеть, и о чём понятно прямо на старте?

https://habr.com/ru/articles/1047886/

#нормальные_алгоритмы_маркова #compiletime #compiletime_computation #template #template_metaprogramming #c++ #string #concept