Opportunities for D

[Walter Bright via Digitalmars-d]

On 7/9/2014 7:37 AM, Timon Gehr wrote:
> On 07/08/2014 11:22 PM, Walter Bright wrote:
>> 3. 'ref' means 'borrowed', to use Rust's terminology
>> We're almost there with this. This means better escape analysis, too.
> What makes you think that 'ref' is a good match for this functionality, and how
> are we almost there with this?

'ref' is already used conventionally in such a manner as implying it is 
borrowed. 'ref' pointers cannot be stored, and one cannot take the address of a 
ref'd variable in @safe code.



>> 8. NotNull!T type
>>
>> For those that want a non-nullable reference type. This should be doable
>> as a library type.
> No.

Rationale?