If monadic bind is multiplication, then what is division?
@headinthebox Division is not a closed operation. Monads are multiplication because (m * m -> m) or (m (m a) -> m a)
-
-
@dibblego@headinthebox what does it take to "close" division? Add infinite numbers to the domain? -
@etorreborre@dibblego@headinthebox dependent types?
End of conversation
New conversation -
-
-
@dibblego@headinthebox yes it's more the associativity that is a important propertyThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego@headinthebox@etorreborre or as in Monadic patterns for the web stated: associativity means flattening (I had to grok that)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.