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

[Georgi Lyubenov]

Hi!

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.

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