Re: Combining mutable objects with const references

anonposting@[EMAIL PROTECTED]
 wrote:
> (p where x is 5)
> This can be an expression which mutates the underlying storage of p to
> return a conceptually-new object which is the same as p in every way
> except for its x-value. All that is left is to ensure that the
> reference p is not used after the underlying storage has been mutated.

Look up uniqueness types and the Clean language, and you will be
pleasantly surprised.
-- 
Pertti