Spec#, nullables and more

[Rainer Deyke]

On 11/6/2010 15:00, Walter Bright wrote:
> I don't see that non-null is such a special case that it would benefit
> from a special case syntax.

I'm less concerned about syntax and more about semantics.  I already use
nn_ptr<T> (short for non-null pointer) in C++.  It works in C++ because
types in C++ are not assumed to have a default constructor.


-- 
Rainer Deyke - rainerd at eldwood.com