On 11 April 2013 14:38, Joseph Rushton Wakeling <joseph.wakeling@webdrake.net> wrote:

On 04/11/2013 03:29 PM, Jacob Carlborg wrote:
> What's the point of that. Just have "strong" mean const/immutable parameters.

The point is to have a way for me, the programmer, to say to the compiler: "I
mean for this function to be strongly pure, can you confirm whether my choice of
function inputs supports this please?"

I think that giving the user choice of purity is about as useful as given user choice over what functions should be inlined, or what vars should go in registers.

Such decisions are best left to the compiler devs judgement on doing the right thing for you. Even if they sometimes get it wrong. :o)

--
Iain Buclaw

*(p < e ? p++ : p) = (c & 0x0f) + '0';