[<<][haskell][>>][..]
Sun Feb 16 13:24:48 EST 2020

Effects

In general terms, there is a single monad that is implemented by
communication with a handler.  In essence this is two "processes", one
is the abstract computation, the other is the implementation of the
effects.

Is this correct enough?

Looking around for a good introduction video I found this:

freer-effects:
https://www.youtube.com/watch?v=gUPuWHAt6SA

- we don't have time for building monad stacks

- monads transformers "sort of" compose, but still a hack

- get out og Eff by singleton monad, or pure for empty

- induction to implement

- MTL: scaffolding goes away at compile time
 
neat

https://reasonablypolymorphic.com/
https://hackage.haskell.org/package/freer-effects
http://okmij.org/ftp/Haskell/extensible/more.pdf
http://okmij.org/ftp/Haskell/zseq.pdf
http://okmij.org/ftp/Haskell/extensible/exteff.pdf



[Reply][About]
[<<][haskell][>>][..]