On Wednesday, 28 February 2018 at 15:29:17 UTC, Mike Franklin
wrote:
You might be interested in this little experiment:
https://github.com/dlang/dmd/pull/7375
Indeed, this looks extremely useful, at the very least in a
linter. I probably rely on ints getting initialized to 0
throughout the program, and only rarely make that explicit.
With null references, the problem is not forgetting the
initialization; it's expressing the intent of the variable.
Usually, I want the non-null, but sometimes, I want a nullable
reference and would like to require the using code to test the
reference for null. Merely verifying for initialization doesn't
help here; it may well be intended that null will be assigned
later to the reference.
-- Simon
