On 7/9/16 11:52 PM, Observer wrote:
On Sunday, 10 July 2016 at 02:29:15 UTC, Andrei Alexandrescu wrote:
You're overthinking this. Undefined is undefined. We're done here.
Andrei, you're underthinking this. You're treating it like an
elegant academic exercise in an ivory tower, without consideration
for the practical realities of using the language productively
(i.e., getting direct feedback when the programmer makes mistakes,
which we all do, so s/he doesn't need to spend hours in a debugger).
Oh, I'm all for defining formerly undefined behavior. But don't call it
undefined. I'm just fact checking over here. -- Andrei
