Free монадой пользоваться, конкретно пытался перевести вот это на эликсир (при оч посредственнх знаниях хаскеля)
https://www.haskellforall.com/2012/06/you-could-have-invented-free-monads.html
Witchcraft и Algae это попытки натянуть сову на глобус. Этим лучше баловаться в ml языках, хацкеллях и теоремпруверах. В эликсире от этого нет ни толку, ни интереса
насколько я помню, у фри монад есть большая проблема с полным отсутствием интроспекции, типа там сплошные замыкания
А есть какая-нибудь теоретическая книжка по ФП?
Поч? Кажется, что можно определить рекурсивный тип данных и интроспектировать по самое не могу, см статью
Ну, за интерес человеку виднее, но вообще я в корне не соглашусь - как раз надо всю эту прелесть тянуть в более приземлённые языки, томущо изобретать постоянно один и тот же велосипед и даже одинаковыми словами его не называть пора бы прекратить. (Справедливости ради, я под впечатлением от прочтения elements of programming сейчас)
Также <troll>фримонада это просто improper_list</troll>
Я кажется нашёл, чье мнение цитировал https://markkarpov.com/post/free-monad-considered-harmful.html#inspection
А, ну по модулю того, что у тебя в типе данных будут функции, ай гесс. (Но это не обязательно).
Тут очень валидные точки, надо сказать.
Обсуждают сегодня