[Haskell-cafe] Eff verbose/ambiguous/type safety

Georgi Lyubenov godzbanebane at gmail.com
Mon Apr 13 07:01:27 UTC 2020


I'm not too familiar with the particular implementation in Eff1.hs but when
working with highly polymorphic Haskell code in general (like here, where
you want your actions to be polymorphic over the effect stack), it's a good
idea to write out everything in a file with type signatures present, so
that you're 100% about what is happening, and there isn't some weird type
defaulting/type families getting stuck business going on.

For other implementations you can take a look at freer-simple, polysemy,
fused-effects, eff.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20200413/94889ad0/attachment.html>

More information about the Haskell-Cafe mailing list