> Uważam, że problemem jest to, że masz dwie dopuszczalne
> interpretacje

No właśnie. I to jest ten błąd w języku. Więc zróbmy tak, żeby była tylko jedna, np.
taka:

y = x
update y
assert(y != y'old => x != y)

To powyżej czasem działa a czasem nie działa, zależnie od tego jaki typ się trafi.
Tymczasem dla mnie powyższy zapis jest generyczny, jest czymś w rodzaju aksjomatu i
powinno działać zawsze. Albo, jeśli wolisz, nigdy (ale wtedy marnie widzę
programowanie w takim języku). W przeciwnym razie nie wiem, na czym stoję.

--
Maciej Sobczak * http://www.inspirel.com