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.