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

Я написал монаду с функциональностью Writer, используя подход Operational Monad. Затем я заметил, что она не работает лениво. В приведенном ниже коде есть rogueWriter, который выполняет бесконечно много ...