hell yes, monads are now noumenahttps://twitter.com/warpfork/status/1034559548969967617 …
How about we stop talking about monads, and rather focus on arrows, that are more general and actually composable?
-
-
Unless I am missing something: To get causality, the essential property of Monad, you will have to reach ArrowApply class of the Arrow family, at which point your abstraction is just as composable/non-composable. What gives?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.
Read my blog!