3 ms·
After reading that, I think freer can in fact encode the continuation monad.
by valenterry 3y ago
After reading that, I think freer can in fact encode the continuation monad.
- eru 3y agohttps://www.reddit.com/r/haskell/comments/7yll62/comment/duhivfk/?utm_source=reddit&utm_medium=web2x&context=3 https://www.reddit.com/r/haskell/comments/7yll62/comment/duh... also suggests that. A quick scan of https://okmij.org/ftp/Haskell/extensible/more.pdf https://okmij.org/ftp/Haskell/extensible/more.pdf doesn't yield much one way or another.