@rustem_b, текущий hie собирается как-то так stack stack-yaml stack-8.2.2.yaml build --copy-compiler-tool

Это если ghc8.2

> ой всё, надоело да, с таким терпением ничего хаскельного не собрать

Хаскель для терпил

https://markkarpov.com/post/free-monad-considered-harmful.html

Я их люблю, но до pro мне далеко. Я сейчас сижу и втупливаю, как мне заменить свою Free на Church. Сам-то язык нормально заменился, а вот с интерпретатором беда.

ниче, скоро в хаскель линейные типы завезут, и посмотрим кто кого

плохой стиль. старайся, чтобы единственным местом в программе, где есть IO, была функция main

и как мне быть?

плохой стиль. старайся, чтобы единственным местом в программе, где есть IO, была функция main

плохой стиль. старайся, чтобы единственным местом в программе, где есть IO, была функция main

если не московская - даже не лезь в хасцкель - работу не найдешь

Хочу разобраться во фри монадах на примере алгебры высказываний (not, or, and, термы) Типа считываем AST, после чего можно его 1) сразу вычислить 2) Перевести в КНФ/ДНФ 3) Как-то ещё оптимизировать Стек монад наверное будет такой: 1) Free (для AST) 2) Writer (Для подсчёта статистики вычислений до и после оптимизаций) 3) Reader (в AST не только константы, но и переменные могут быть) Как идея, стоит браться? Какие подводные? С фри монадами знаком только с этого чата + 1 статья с хабра. Ну сложилось впечатление, что это какой-то eval, только done right

Если линейные типы на зависимые полезут - кто кого сборет?

КришнаСВами вполне себе смог совместить

плохой стиль. старайся, чтобы единственным местом в программе, где есть IO, была функция main

за употребление оборота «от слова совсем» здесь ещё не банят?

за употребление оборота «от слова совсем» здесь ещё не банят?

Что плохого в этом обороте?

Плохой совет, учитывая, сколько всего можно сделать с IO.

Именно поэтому из IO и надо по возможности уходить

Вычислительную логику нужно выносить из IO. Можно также кодировать эффекты чистым eDSL и потом его исполнять. Но поскольку функции IO - это еще и первоклассный объект, то ничего плохого нет в том, чтобы их генерить в чистом коде, чтобы потом выполнить. А еще есть всякие функции по работе с монадой (mapM, replicateM, etc.) Совет от @Masteroid скорее вреден, чем полезен. В достаточно большой программе IO всяко будет не только в функции main.

Вычислительную логику нужно выносить из IO. Можно также кодировать эффекты чистым eDSL и потом его исполнять. Но поскольку функции IO - это еще и первоклассный объект, то ничего плохого нет в том, чтобы их генерить в чистом коде, чтобы потом выполнить. А еще есть всякие функции по работе с монадой (mapM, replicateM, etc.) Совет от @Masteroid скорее вреден, чем полезен. В достаточно большой программе IO всяко будет не только в функции main.

Вне main скорее всего будет трансформер или ещё какая нашлёпка.

Правильный совет звучал бы как-то так: По возможности выносить вычисления в чистые функции, отделять эффекты.

Ленивый логгинг через monadwriter я так и не осилил, утекал он в память целиком. Проще оказалось в монаду прям io запихнуть.

Вот это и должно было быть в том первом ответе, а не "плохой совет".

Линивые типы..

у меня есть теория, что фримонады стали популярными от желания использовать IO только в мейн