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 …
-
-
Replying to @hackuador
@hackuador Removing return from Monad is a compromise in that it is not near far enough abstracted for practical use, but better than today.1 reply 0 retweets 0 likes -
Replying to @hackuador
@hackuador Would be hard to do a talk on that. More like the motivations behind the idea of abstraction.1 reply 0 retweets 0 likes -
Replying to @dibblego1 reply 0 retweets 0 likes
Replying to @hackuador
@hackuador I would happily do a talk on abstraction in general. Specifically, how it is arrived at, and what motivates it.
10:11 PM - 12 Oct 2015
0 replies
0 retweets
1 like
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.