To help LDC/GDC

[Timon Gehr]

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.

> It's a totally different concept,

The concept of mutation can be expressed easily in a language not 
directly supporting side effects. Just pass around the store explicitly.

The term you want to describe is presumably referential transparency.

> and should be named appropriately.

I guess nobody will disagree with this.