Sun Dec 6 11:02:46 CET 2009
- Unified objects (integers as leaf objects)
- Data sharing and reference counts
RC: if there is a necessity to create circular data structures, it's
probably prudent to contain those locally, i.e. wrap them in a
It's probably necessary to equip each object with a reference count
and a `final' flag. The latter is necessary because there is
otherwise no guarantee that a multi-owned object will remain constant.