Positive

[Andrei Alexandrescu]

Jason House wrote:
> Andrei Alexandrescu Wrote:
>> Positive.(real) sqrt(Positive.(real) x);
> 
> Ummm... That's not even the correct signature for square root. It
> should accept non negative numbers.

Rats. I was thinking positive means >= 0 and strictly positive means > 
0. According to Wikipedia, positive really means strictly positive and 
the longer-to-type NonNegative should be used instead :o|. For such a 
simple concept, a short and sweet name is pivotal. If there are any 
ideas for a better choice, please make them known.

Andrei