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