[Haskell-cafe] best practice for lifting of IO and could lifting be automated?

Kim-Ee Yeoh ky3 at atamo.com
Sat Oct 24 01:48:20 UTC 2015


On Sat, Oct 24, 2015 at 5:25 AM, Dimitri DeFigueiredo <
defigueiredo at ucdavis.edu> wrote:

> Unfortunately, I am using the pipes library, so I cannot avoid using a
> monad transformer. Because of the functionality pipes provides, it does
> make sense for it to be a monad transformer.


Hi Dimitri,

This is a very interesting topic, thank you for bringing it up.

Unfortunately because of the very generalized way it's presented, it's very
hard for anyone else aside from Yuras to give it the attention it deserves.

Do you have a concrete example with sample code that you could simplify and
present instead?

E.g. instead of the multiply-stacked monad transformer embedded in 200
lines that you're facing, can you present an example with 2 monadic layers
(the base being IO) in say, 20 lines?

-- Kim-Ee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20151024/de92d832/attachment.html>


More information about the Haskell-Cafe mailing list