Free monad using classy prisms.
https://gist.github.com/tonymorris/935e19c091c04f33cdc5b2daf05cfdd9 …
/cc @tpolecat
-
This is great. The only problem (as with Eff) is composing certain effects lawfully (print and read have no laws).
What would that mean though? What laws could otherwise come about to give a benefit? The classy prism is as lawful as it gets.
-
-
If your algebra had throwError and catchError (as MonadError), then that has laws, which can't mix symmetrically with MonadCont.
-
Why do I even want these things?
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.