Pure memoization, and more

[David Nadlinger]

On Thursday, 3 May 2012 at 15:50:36 UTC, bearophile wrote:
> Threads like "Why D const is annoying" show that there is 
> desire for logical immutability, for pure memoization, etc. I'd 
> like the memoization of a pure function to be pure still.

If you are performing a »logically pure« operation which can't 
be proven to be so due to the limits of the type system, you can 
always just use a cast in the implementation.

David