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

вроде Алан Кей, но я что-то нагуглить не могу сайт где он ОС из кучи самопальных языков написал

зато ADT может быть вообще любым.

не могу вспомнить как этот проект назывался

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

функции не нужно, они генеряться

DSL хорошо, но DSL /= Free monad

ну хорошо, где-то можно увидеть moar примеров?

удачных применений Free я не видел

лучше "вот без фримонады было плохо, а теперь стало хорошо"

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

я раньше думал у хаскеля фиговый

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

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

ну хорошо, где-то можно увидеть moar примеров?

Приватные репо только :(

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

ну т.е фримонады это хорошо, но власти скрывают

@voidlizard кстати примеры от небезызвестного Николая Кудасова https://gist.github.com/fizruk/5555588 https://gist.github.com/fizruk/5555561

https://gist.github.com/kana-sama/658ccb7b0d0bb6a10f9bcb55f04c3941 - очень давно я писал этот примитивный пример, он мне еще и не нравится из-за того, что там интерпретатор не через foldF (и поэтому там рекурсивный run), но можно увидеть всю генерацию

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

хотя вон в funcflow вообще freer arrows

т.е. зачем оно нужно и когда выстреливает - более менее понятно

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

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

ну т.е фримонады это хорошо, но власти скрывают

Ну, не совсем. Моя индусская компания Juspay (не моя, а где я работал), выложила Presto core фреймворк, который я им написал. (Ищите на гитхабе) Но применений там нет, конечно. В то же время они для своего продукта написали на нем фичи и хотят дальше портировать имеющийся хаскельный (пьюрескритный точнее) код. А второй проект, который я для них сделал - сервер обобщенных workflow, которые могут персиститься в бд на любой точке исполнения, запускаться на имеющихся серверах автоматически, а сценарии могут поставлять внешние заказчики.

это все и есть обычный обход ADT, только если мы напишем 3 таких обходера, мы увидим общий код, который мы вынесем и получим free

charge - делается при помощи makeFree ''BillingProgramF ?

charge - делается при помощи makeFree ''BillingProgramF ?

да

но и ограничения тоже получаем

например? Какие-то ограничения мы получаем наверняка, но сходу я назвать их не могу

например, всё то же пенальти edsl - управляющие конструкции не являются частью типа и не конструируются. т.е они работают во время конструирования

так?

если нам надо создать тип вместе с ними

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

например, всё то же пенальти edsl - управляющие конструкции не являются частью типа и не конструируются. т.е они работают во время конструирования

нет

они работают во времени выполнения

как бы этот when бы сработал во время конструирования

если нам нужен подязык (ограниченный) то 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 и прочее

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

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

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

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

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

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

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

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