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
