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.
This is a closely related group of problems (including pointer
equality, external pointers, finalizers, and weak
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
David Nadlinger:
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.
casts are dangerous, better to avoid them where possible. Those
papers try to avoid unsafe casts in