On Wednesday, 17 August 2016 at 12:20:28 UTC, deadalnix wrote:
On Tuesday, 16 August 2016 at 20:19:32 UTC, ketmar wrote:
On Tuesday, 16 August 2016 at 20:11:12 UTC, Yuxuan Shui wrote:
Wait, doesn't D have strict aliasing rules?

luckily, no. at least this is not enforced by dmd. and it is great.

Controlling aliasing is really the #1 optimization barrier these days, so I don't think it's that good of a thing.

Almost every single one case where Rust end up being faster than C++ is because their type system allow for more AA information available for the optimizer.

AA is also key to do non GC memory management at language level.

from my PoV, this kind of "optimizing" is overrated. i'm absolutely unable to understand why should i obey orders from machine instead of machine obeys my orders. if i want to go wild with pointers, don't tell me that i can't, just compile my code! C is literally ridden with this shit, and in the end it is a freakin' pain to write correct C code (if it is possible at all for something comlex).

Reply via email to