[Haskell-cafe] MTL vs Free-monads, what are your experiences

Joachim Breitner mail at joachim-breitner.de
Sat Oct 15 13:49:42 UTC 2016


Am Freitag, den 14.10.2016, 17:35 +0200 schrieb Damian Nadales:
> Do you have
> any experience using any of these approaches. If so would you mind
> sharing? ;)

I don’t have an answer to contribute, but I would be very interested in
hearing about experiences in terms of their relative runtime

My gut feeling is that an an indirect function call for every (>>=),
with many calls to `lift` each time, would make a deep monad
transformer stack much more expensive. A free monad approach seems to
be more sensible to me. But maybe GHC is doing a better job optimizing
this than I would think?

So if you have any number-supported evidence about this, possibly from
a real-world application where you tried to use one or the other,
please share it with us!


Joachim “nomeata” Breitner
  mail at joachim-breitner.dehttps://www.joachim-breitner.de/
  XMPP: nomeata at joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F
  Debian Developer: nomeata at debian.org
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 801 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20161015/aff0e8cf/attachment.sig>

More information about the Haskell-Cafe mailing list