On 12/26/12 6:13 PM, Timon Gehr wrote:
But D also does something I think is fairly unique. A function can be pure, but inside that function, mutation is allowed as long as that mutation does not "leak" outside of the function. A pure function with immutable parameters does completely specify the function in its signature. What happens inside the function is not relevant, it is not necessary that locals be immutable.Haskell has this.
This would necessitate a bit of qualification :o). Andrei
