Opportunities for D

[Andrei Alexandrescu via Digitalmars-d]

On 7/9/14, 11:59 PM, deadalnix wrote:
> On Wednesday, 9 July 2014 at 19:50:18 UTC, Walter Bright wrote:
>>>> 8. NotNull!T type
>>>>
>>>> For those that want a non-nullable reference type. This should be
>>>> doable
>>>> as a library type.
>>> No.
>>
>> Rationale?
>
> Please, we've gone through this again and again and again and again.

Yes, the arguments come and go by in forum discussions. To avoid this we 
need a well-written DIP that has a section illustrating the 
insufficiencies of library solutions, and then proposes the few needed 
additions to the language that make the thing work properly. Other 
language communities have done this with good results.

Andrei