Refined types [almost OT]

[Timon Gehr via Digitalmars-d]

On 10/13/2014 01:48 AM, Meta wrote:
> On Sunday, 12 October 2014 at 20:58:58 UTC, Timon Gehr wrote:
>> Yes it is. Why wouldn't it be? Values needn't be completely determined
>> in order to be reasoned about.
>
> They do if you want to check, for example, n < 3. D doesn't currently
> support the type of analysis necessary to implement something like that.

(bearophile isn't discussing current language features.)