@saagar@federated.saagarjha.com
Post #2598504
2023-03-19 09:33 UTC
@slomo@toot.cat b) is very difficult to do generally, since most programming languages don’t have a way of specifying effects to the extent that would be necessary here. (How can you guarantee that two function calls–which may call more things–don’t interfere with each other at all?)
Replies (1)
-
@saagar@federated.saagarjha.com 2023-03-19 09:39
@slomo@toot.cat I expect the reason compilers don’t optimize on this is that it’s not actually very easy to do and has surprising results. But, theoretically, the “a future compiler could be super smart and optimize it!!1” argument does apply.