Хочу разобраться во фри монадах на примере алгебры высказываний (not,

Question

Хочу разобраться во фри монадах на примере алгебры высказываний (not,

or, and, термы)

Типа считываем AST, после чего можно его 1) сразу вычислить 2) Перевести в КНФ/ДНФ 3) Как-то ещё оптимизировать

Стек монад наверное будет такой:
1) Free (для AST)
2) Writer (Для подсчёта статистики вычислений до и после оптимизаций)
3) Reader (в AST не только константы, но и переменные могут быть)

Как идея, стоит браться? Какие подводные? С фри монадами знаком только с этого чата + 1 статья с хабра. Ну сложилось впечатление, что это какой-то eval, только done right

#haskell #programming #russian

0

10.05.2018