[Haskell-cafe] Monad of no `return` Proposal (MRP): Moving `return` out of `Monad`

amindfv at gmail.com amindfv at gmail.com
Tue Oct 6 01:20:40 UTC 2015

IMO, the "tech debt" you're talking about feels very small. We've already made the change that return = pure by default. The historical baggage that this proposal cleans up is just the fact that legacy code is able to define its own "return" without breaking (which must be the same as the definition of pure anyway).
     I am also moving from +0.5 to +0 on this.


> El 5 oct 2015, a las 18:29, Alexander Berntsen <alexander at plaimi.net> escribió:
> Hash: SHA512
>> On 05/10/15 20:50, Nathan Bouscal wrote:
>> There have been a lot of objections based on the idea that
>> learners will consult books that are out of date, but the number of
>> learners affected by this is dwarfed by the number of learners who
>> will use updated materials and be confused by this strange
>> historical artifact. Permanently-enshrined historical artifacts
>> accrete forever and cause linear confusion, whereas outdated
>> materials are inevitably replaced such that the amount of confusion
>> remains constant.
> Thank you for making this point
> I would be very saddened if the appeal to history (i.e. technical
> debt) would halt our momentum. That's what happens to most things both
> in and out of computer science. And it's honestly depressing.
> - -- 
> Alexander
> alexander at plaimi.net
> https://secure.plaimi.net/~alexander
> Version: GnuPG v2
> 9TxdBXG+V+y66yyqpZAv4tOOCVtkDYR6/qUGtpYO5cdmh8mYKh5PUvb/p/l1AUQl
> Ug8gVO+u+yvwkVif8Jhhl+e8JqYGPgH6+lUvA8VE47VNkYGKMsNlXFYPik8Sc22w
> 6EhS7SRhR57quOclQw2NRIxS4F3ZqE7YKkXETId9QBtder9e6OEYdc4pQivcr46H
> FHzK3ybRF80U/3lKivPFo/114ICrS0l/Mneqf2ITLso6HFAZXhms5RzuSOaxLSbI
> xAV2k9gRv6cPWdMgx7DCjiOOsNc78peAcqwlEdQ5dJWGs5fu70hsKqNAL3LYCmRC
> YTcC2F1kJmuKYucHzfDLFYiVgbn03ehZkkx4b9NFQyHwj8rBNn4E4JspjOR/ej9w
> p3e3lGCj/Voouq+bIb5AAlp01Bioxew/+ewQeI739js9b9LE0wZQvFbYfngxdmf4
> Z7IADHsfou7xtiChXbSkOlOEI3mDYTXXxeTSmF/OY7HVnCReCKtVa0Aj5j9G116V
> LrMeUegOFMazlbpyG2GGvp7zD/3xTH3v6zpNcj8ijsCIXtch7ygebA5ecXZ0m30s
> y6VoVMPkQtHdAaaO5qi7MY+/cSNAiJdEcKR4hSZxPrFqUsiOJ006FMhh1PcSRjBx
> 3IMLL+8mPsvTnfWDj+NY
> =Mwbu
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list