Refined types [almost OT]

[Meta via Digitalmars-d]

On Monday, 13 October 2014 at 00:01:02 UTC, Timon Gehr wrote:
> 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.)

Ridiculous, I'm positive that D fully supports refined types in 
the language. Please check your facts.