#compiletime_computation — Public Fediverse posts

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Продолжение. Первая часть - программирование на НАМ . Вторая - обзор неприятностей, концепты . Пришло время запутаться и распутаться со строками в компайл-тайме... и с зависимыми типами. Основные требования к КТ-строкам - чтобы можно было использовать их в качестве параметров шаблона, и чтобы можно было писать 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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