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)
1 reply 0 retweets 1 like -
Replying to @etorreborre @tpolecat
except it's not boilerplate, in the same way all your programs are not boilerplate. They are *different* programs.
1 reply 0 retweets 0 likes -
This is great. The only problem (as with Eff) is composing certain effects lawfully (print and read have no laws).
1 reply 0 retweets 1 like -
What would that mean though? What laws could otherwise come about to give a benefit? The classy prism is as lawful as it gets.
1 reply 0 retweets 0 likes -
If your algebra had throwError and catchError (as MonadError), then that has laws, which can't mix symmetrically with MonadCont.
1 reply 0 retweets 0 likes -
Why do I even want these things?
1 reply 0 retweets 0 likes -
I find MonadError's effects just part of life; the world of MonadCont's utility is still a world I need to explore more (
@kmett?).2 replies 0 retweets 0 likes -
The main hope was to get people questioning these things, because in Scala discussions can over-simplify too much (like Eff > MTL).
1 reply 0 retweets 0 likes
I think Scala destroys the discussion, because most of it is working around Scala being broken, with not everyone noticing.
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.