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
