To help LDC/GDC

[Timon Gehr]

On 04/09/2013 01:26 PM, Manu wrote:
> On 9 April 2013 20:50, Timon Gehr <timon.gehr at gmx.ch
> <mailto:timon.gehr at gmx.ch>> wrote:
>
>     On 04/09/2013 12:28 PM, Manu wrote:
>
>         ...
>
>
>         There's nothing 'pure' about a function that has side effects.
>
>
>     If it has the same side effects every time it is called with the
>     same arguments, then there is something pure about it.
>
>
> But it doesn't. It could do anything when called a second time, same
> arguments or not.

Well, no. That's the point.

Feel free to provide an example where you think this property is violated.

(However, note that the concept of the 'same arguments', and the 'same 
side effects' is informal and would need a little clarification.)

> The only thing it can't do is escape a variable. That sounds more like
> 'scope' to me than 'pure'.

That is not the only thing it can't do.