On Tuesday, 14 August 2012 at 14:32:26 UTC, F i L wrote:
Mehrdad wrote:
Note to Walter:
You're obviously correct that you can make an arbitrarily
complex program to make it too difficult for the compiler to
enforce initialization, the way C# does (and gives up in some
cases).
[ ... ]
I think some here are mis-interpreting Walters position
concerning static analysis from our earlier conversation, so
I'll share my impression of his thoughts.
I can't speak for Walter, of course, but I'm pretty sure that
early on in our conversation he agreed that having the compiler
catch local scope initialization issues was a good idea, or at
least, wasn't a bad one (again, correct me if I'm wrong). I
doubt he would be adverse to eventually having DMD perform this
sort of static analysis to help developers, though I doubt it's
a high priority for him.
Ah, well if he's for it, then I misunderstood. I read through the
entire thread (but not too carefully, just 1 read) and my
impression was that he didn't like the idea because it would fail
in some cases (and because D doesn't seem to love emitting
compiler warnings in general), but if he likes it, then great. :)