если нам нужен подязык (ограниченный) то Free monad если же нам нужен полноценный язык в языке программирования то рекурсивные схемы, алгебры и так далее

там можно написать if balance > 100 then done else pure () это обычный монадный when

если нам нужно пространство для оптимизации нахаляву то Freer, если очень много - то Free

окей, функция example - конструирует или выполняет?

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

@qnikst так, халява есть во Freer ?

и там и там

но просто Freer тормозит, а Free ТОРМОЗИТ

а почему?

@qnikst так, халява есть во Freer ?

ну Freer это Coyoneda + Free а значит это бесплатный и функтор и монада

окей, функция example - конструирует или выполняет?

конструирует, но после каждого bind, который отдает значение из интерпретатора (читаем из базы), конструирование откладывается до получения значения

и это красивее, чем threadDelay 100 по всей программе расставить и потом удалять по 10 за спринт

@voidlizard особенности реализации

вообще Free(r) прикольная тем

тема

пока всей обнаруженной халявы это отсутствие необходимости писать монадические конструкторы

но как-то случаев где это действительно надо не то чтобы миллионы

но это блин такая мелочь по сравнению с остальным.

окей, функция example - конструирует или выполняет?

Мне не очень ясен сам вопрос. Но в DSL есть только то, что есть в вашем соответствующем типе. И только это можно интерпретировать/преобразовывать/etc. Если хотите что-то еще преобразовывать (условные конструкции и т.п), это нужно вносить в ваш язык.

вообще Free(r) прикольная тем

там же есть прокаченная версия очередей, что вроде ускоряет?

мне чаще разные dsl надо композить

как это делать с Free я не знаю

поверх datatypes la carte делать свободные структуры?

Александр ну конечно, хочу преобразовывать

спасибо, я их и так не осилил

как правило это всегда нужно

несколько примеров прямо таки в статье про поиски жирного, которую я постил

у и там типичная ситуация

но просто Freer тормозит, а Free ТОРМОЗИТ

Достаточно для того, чтобы на серверном purescript-коде исполнять сотни операций в секунду

mtl/final tagless это позволяет композить

Достаточно для того, чтобы на серверном purescript-коде исполнять сотни операций в секунду

сотни операций в секунду это что-то чем стоит гордиться?

mtl/final tagless это позволяет композить

так FreeT есть, композить несколько дслек не сложно

мне чаще разные dsl надо композить

ну я видел идею с LazyFix

больше mental work, for no reason

еще раз - весь этот угар, что бы монадические конструкторы не писать?

если действительно, нужны разные интерпретаторы, то имеет смысл об этом думать

Достаточно для того, чтобы на серверном purescript-коде исполнять сотни операций в секунду

у пурсы там все оптимизашки написаны для Free а это remorse и прочее

но обычно это не нужны разные интепретаторы, а ЗАТО МЫ МОЖЕМ ДЕЛАТЬ РАЗНЫЕ ИНТЕРПРЕТАТОРЫ

т.е. обобщение ради обобщения

да, потому чт обычно нужен конструктор (парсер), оптимизатор, валидатор, генератор

констант пропагатор

дед код элиминатор

тэйл колл оптимизатор

ну так далее, и так далее

коммон код обобщатор

Ой я не могу. ?

Похоже на проектные требования ?

фри все же не про генерацию кода, про которую ты пишешь, тут какой-то спор об разных темах, каждый думает о своем

да я и пытаюсь понять

т.е например для того, что бы пыщь пыщь написали код забыли логи

но обычно это не нужны разные интепретаторы, а ЗАТО МЫ МОЖЕМ ДЕЛАТЬ РАЗНЫЕ ИНТЕРПРЕТАТОРЫ

ну я что-то совсем гипотетически нужное могу представить, если f параметризован во фри еще чем-то, но я хз что дальше с этим делать

а тут такие и берем, переопределяем инстанс и добавляем туда логинг

победа

Александр ну конечно, хочу преобразовывать

Ну вот в том моем кейсе с персистентными сценариями была задача - передавать сценарии в виде Free -DSL кода. Но как, если есть только методы для дергания сервисов и БД? Нету никаких if, case, и тд. Как сериализовать сам сценарий, написанный на PureScript и этом DSL, но чтобы управляющие конструкции тоже сериализовались? Только вносить их в язык в виде отдельных методов. Но мы решили не идти этим путем, потому что мы можем просто передавать browserified JS, созданный по PureScript-cценарию, и его уже загружать пьюрескриптным движком Workflow. И все получилось.

а можно было просто так -- Вася, ты забыл вставить логи log [qc|WTF {a} {b}|] тут дальше код

конечно, можно скзаать, что нам надо не просто писать логи, а еще внезепно писать в базу

читать из базы

слать в сокет

и еще что-то. ну ок

и при этом не трогая базовый код, написанный архитектором годы назад

и который нельзя трогать.

а тут такие и берем, переопределяем инстанс и добавляем туда логинг

или делаем монадическую алгебру и паратримизируем любой монадой, например writer или любая другая а монадический катаморфизм это все свернет в то, что нам надо вместе с эффектом

но если так писать всё, то программа внезапно превращается в интерпретируемую, нет?

да

причем в несколько

и при этом ограниченную в выразительных средствах

конечно, можно скзаать, что нам надо не просто писать логи, а еще внезепно писать в базу

Ну вот смотри. У тебя сотни сценариев на твоем free dsl. Тебе не хочется везде логи пихать. Ты идешь в интерпретатор, где только 20 методов, вставляешь в каждый по соответствующему логу, и все твои сотни сценариев начинают отлично логгироваться.

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

но тут есть бонус что структуру все этого можно расшарить

Ну вот смотри. У тебя сотни сценариев на твоем free dsl. Тебе не хочется везде логи пихать. Ты идешь в интерпретатор, где только 20 методов, вставляешь в каждый по соответствующему логу, и все твои сотни сценариев начинают отлично логгироваться.

с mtl тоже самое

и с явным словарём

ну да, в общем-то все должно прийти к тому, что если мы не хотим, что бы это люто-бешено тормозило, мы получим таки первосортный AST

его оптимизируем

с mtl тоже самое

Я этого не отрицаю.

а потом напишем или на трамплинах, или на llvm/ir генератор кода, который будет быстро работать

ну как быстро

быстрее.

https://markkarpov.com/post/free-monad-considered-harmful.html свежачок

не то, чтобы я был полностью согласен

https://markkarpov.com/post/free-monad-considered-harmful.html свежачок

Так это кликбайт. Внутри-то хорошее написано.

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

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

> Conclusion > Of course the title is a click bait and I do not mean to be so categorical. Free monads do have their uses, but in most cases I’d think twice before committing to that style of programming because it’s somewhat tedious and inefficient (unless you’re careful). So the post is just a fair warning and a demonstration of alternative solutions.

идея, что не хаскелисты будут писать на edsl внутри хаскеля = провал

понятно, что задачи и толк для freemonad есть

(всё еще ищу)

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

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

вон то, что у Александр подходит

идея, что не хаскелисты будут писать на edsl внутри хаскеля = провал

JUSPAY так делает, если чо.

(Индийская компания финансовая)

там компилятор, интерпретатор, валидатор будут написаны достаточно просто и с одной структурой

особенно если на скорость плевать

это как когда мы хотим сделать 3 операции над списком, мы сначала создаем список x = Cons 1 (Cons 2 Nil) с тремя дырами (Cons, Cons, Nil) а потом в foldr заменяем все Cons на функцию, а Nil на значение тремя разными способами (пара (a -> b -> b, b) - это и есть интерпретатор списка) a = f 1 (f 2 z1) b = g 1 (g 2 z2) Free собствено это тоже почти список

Александр я верю, что любую дурь может кто-то делать

люди сначала в уши вставляют себе туннели диаметром с кулак

Студенты. Индусы. Интерны. Вы, что ли, хуже?

потом вынимают и уши обрезают/зашивают

т.е нет предела