@saagar@federated.saagarjha.com
Post #2598498
2023-03-19 09:08 UTC
@slomo@toot.cat Preventing mutation from two places is nice but there is of course always ways to get nondeterministic results from unspecified evaluation in most languages, including Rust (stdout is effectively capable of being mutably referenced from multiple places, for example).
Replies (2)
-
@saagar@federated.saagarjha.com 2023-03-19 09:13
@slomo@toot.cat As for why you may want to keep argument evaluation order unspecified: it can in theory allow the compile to optimize better. That said, I don’t really think this is a great reason to make it unspecified…but I don’t think it’s the case that it should be specified either.
-
@slomo@toot.cat 2023-03-19 09:15
@saagar@federated.saagarjha.com Sure, there are always ways of doing something wrong so why even bother preventing some of them 🤔