Inherent code performance advantages of D over C?

[Timon Gehr]

On 12/08/2013 03:13 PM, Araq wrote:
> On Sunday, 8 December 2013 at 11:17:15 UTC, bearophile wrote:
>> Araq:
>>
>>> Interestingly, things that are encouraged in Ada (this is an array of
>>> integers of range 0..30, see value range propagation) are much harder
>>> to recompute with whole program optimization and D lacks them.
>>
>> I am currently thinking about related topics. What do you mean? I
>> don't understand.
>>
>> Bye,
>> bearophile
>
> Well that "int[]" is in fact really an "array of int of range 0..30" is
> a property of a type; pureness or what a function modifies is a property
> of a function. Properties of types are inherently more difficult to
> infer than properties of functions.

I don't understand this point. Functions have types as well. Are you 
referring to mutability?