On Fri, 18 Mar 2011 11:02:13 +0100, Kagamin <s...@here.lot> wrote:
Don Wrote:> Pure functions calling weakly pure functions are also weakly pure and so on. This effectively leaves you without purity.I presume you mean "Pure functions calling weakly pure functions *would also be* weakly pure and so on." ?What's the difference?
Your original statement seems to indicate that strongly pure functions would be reduced to weakly pure if they call weakly pure functions. -- Simen
