[DGD] Clonables versus Inheritables
Par Winzell
zell at skotos.net
Tue Aug 9 16:29:01 CEST 2005
> Well, strictly speaking, you can't upgrade something that is only
> inherited either. :) The kernel's rules prevent multiple compiled
> versions of the same object from existing at the same time. Any
> inherited object can't be upgraded, so the master must be destroyed and
> re-created. Both clones and daemon objects can be upgraded by
> recompiling the master. Because of this, the kernel blocks access to
> inheritable objects for anything but inheriting them; that way you can
> always upgrade any real object (i.e., one you've got data in or call
> functions upon) by following the inherit path down from the auto object.
Possibly helpful extract of all this advice: The kernel keeps pure
programs pure so we feel safe destructing them at will -- they can
always just be recompiled. Programs are pure when we know they can't
have any state.
Zell
More information about the DGD
mailing list