Why does Haskell use monadic bind ::(M<S>,S->M<T>)->M<T> to translate do-notation and not (M<S>,S->M<T>,(S,T)->R)->M<R> as in LINQ?
-
@headinthebox I assume that's rhetorical, because that looks equivalent in power.
@cartazio @headinthebox My question would be why the silly Monad constraint and not SemiMonad? Screw return! Semigroupoids FTW.
-
-
@dibblego rhetorical question to me about actually increases the genenerality? :-). Touché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.