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

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