Opportunities for D

[Dicebot via Digitalmars-d]

On Wednesday, 9 July 2014 at 18:09:58 UTC, bearophile wrote:
> Dicebot:
>
>> Yes and this is exactly what we can't do in D.
>
> I don't understand, if they can do that with Java, why not D?
>
> Bye,
> bearophile

Java bytecode reflection makes possible to find all reference 
types in an attributed package and replace them to non-nullables. 
D compile-time reflection is currently limited to declaration 
(with a very 1few exceptions) - I am not aware of any ways to do 
it other than hot-patching generated machine code (not really an 
option).

One thing we can do is to validate that there are no nullable 
references in public signatures but this is something more 
suitable for static analysis rule anyway.