Free monad using classy prisms.
https://gist.github.com/tonymorris/935e19c091c04f33cdc5b2daf05cfdd9 …
/cc @tpolecat
-
nice way to do extensible effects except the boiler plate at the end maybe (w. ReadWritePrint)
except it's not boilerplate, in the same way all your programs are not boilerplate. They are *different* programs.
-
-
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.
- 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.