да

Господа, можете прояснить, пожалуйста.

Предыстория: я искал какой-нибудь prior art на тему связи между фри монадами и CQRS+ES, и наткнулся в одной из статей (https://www.stephenzoio.com/free-monads-and-event-sourcing/) на фразу "Free monads are data. This comes with all the benefits of being data, such as easy serialisation, transformation and portability" (полужирный текст мой) и понял, что либо я что-то фундаментально не понимаю, либо автор статьи заблуждается.

Каким образом в принципе можно сериализовать инстанс произвольной фри монады, если для любого нетривиального функтора поверх которого она будет определена так или иначе в экземпляр будут включены лямбды коллбеков, которые были бы переданы в соответствующий bind? Откуда берется "сериалиация", если, как я понимаю, никакой из современных рантаймов не позволяет сериализовать произвольную чистую функцию с замыканиями?

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

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

(хотел бы предупредить потенциальных читателей не принимать без изрядного скептицизма написанное в статье выше, т.к. авторское понимание CQRS и Event Sourcing-а существенно отличается от общепринятого)

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

хотя вот пример сериализуемой монады https://hackage.haskell.org/package/ivory

она не free, правда

и сериализуема она не всегда

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

если внутри будет forever, то интерпретация зависнет. поэтому для циклов там есть DSL-функции, которые в процессе интерпретации вычисляются ровно 1 раз

не знаю, поможет ли всё это CQRS

есть хаскель чат для флуда?

по теме хаскеля естественно

есть хаскель чат для флуда где хаскель - оффтоп

хароош, то что надо

этот

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

и так как по утверждению многих людей фримонады "easily serializable", то у меня и возникли вопросы...

а где они это утверждают? можно посмотреть?

наверно, они easily serializable при некоторых hard ограничениях