Don Clugston: > The real question being asked is, do we need something for > logical purity? You mean something like @trusted_pure? > Note that we need the same thing for caching. Regarding caching, memoization, weak references, and related things, I prefer a more principled approach, like the ones I've shown in some Haskell-related papers. Bye, bearophile