7 Oct
2015
7 Oct
'15
12:38 p.m.
On 7 October 2015 at 18:09, Gregory Collins
For this particular proposal, every user will have some small amount of work w to do (to read the change notes, understand why 'return' is going away, train yourself to use "pure" now instead of "return" like you've been using for 15 years, etc).
While I don't think it detracts from your argument, it seems you misread the original proposal. At no point will it remove `return` completely. It would be moved out of the `Monad` class and be made into a top-level definition instead, so you would still be able to use it. Erik