> A safer idea comes from using the type system, but it's hard. The idea is > introducing "pure memory references".
I think I have just invented the idea of referentially transparent pointers/references for D, a subtype of normal D pointers/references. Bye, bearophile
