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 …
@hackuador Would be hard to do a talk on that. More like the motivations behind the idea of abstraction.
-
-
-
@hackuador I would happily do a talk on abstraction in general. Specifically, how it is arrived at, and what motivates it.
End of conversation
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.