Non-null objects, the Null Object pattern, and T.init

[Walter Bright]

On 1/18/2014 1:38 PM, Michel Fortin wrote:
> The closest thing I can think of is range constrains. Here's an example
> (invented syntax):


I don't think a new syntax is required. We already have the template syntax:

    RangedInt!(0,10)

should do it.