osdir.com


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Explanation of list reference


Marko Rauhamaa <marko at pacujo.net>:

>   1. if x is y then y ix x
>   2. if x is y and y is z then x is z
>   3. after x = y, x is y
>   4. if x is y, then x == y

A new attempt:

   0. x is x
   1. if x is y then y ix x
   2. if x is y and y is z then x is z
   3. after x = y, x is y
   4. if x is y and x == x, then x == y
   5. id(x) == id(y) iff x is y

Does that cover it?


Marko