Selfless

From Erights

Revision as of 13:43, 2 December 2008 by 209.217.212.34 (Talk)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search

A Selfless reference is one which might be the same as some reference not created at the same instant.

There are two kinds of Selflessness:

transparent selfless

Those references whose sameness is defined by the sameness of their response to __optUncall/0.

A consequence of this is that such objects are immutable in a way (Frozen): they cannot change their behavior except due to being composed of mutable objects, where "composed of" means that the objects are exposed in __optUncall.

opaque selfless

Opaque selfless objects are such as characters and SturdyRefs. XXX explain further

This page is a stub; it should be expanded with more information. If doing so, check the original E web site and the mailing list archives for content which could be moved into this page.
Personal tools
more tools