Nested monad transformers, I can feel the lightning arcing off my fingers!
-
@dibblego Are all the Co* typeclasses the same as their counterparts but with the shape of the transforming function reversed?
@seanparsons Co prefix means categorical dual, which can be thought of as "flipping the arrows."
-
-
@dibblego That makes sense, I can see the use of some of them, just need to let it sink and swirl around my brain for a bit. -
@seanparsons I have a reasonable intro to comonad but it doesn't fit in a twittle. It's easy to then see how you might compose them. - 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.