The monad-no-return proposal for #haskell is a small step, with a massive compromise.
Ideal is approximately:
https://github.com/ekmett/hask/blob/master/src/Hask/Tensor/Compose.hs#L137 …
-
@dibblego what is the compromise?
@hackuador Removing return from Monad is a compromise in that it is not near far enough abstracted for practical use, but better than today.
-
-
-
@hackuador Would be hard to do a talk on that. More like the motivations behind the idea of abstraction. - 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.