[cap-talk] Deep attenuation, typed operations

[Mark Miller]

> Jed wrote:
> > One possible simplification [...] limit the deeply attenuated
> > properties to read [...] and write (anything that can
> > modify the contents of an object). [...]

On 8/18/07, Karp, Alan H <alan.karp at hp.com> wrote:
> [...] Perhaps deep attenuation can be defined to allow only idempotent
> operations.


I think such simplifications may be useful for some purposes. But
please let's not confuse these simplifications with the definition of
deep attenuation. For example, the caretaker does a temporal
attenuation of authority, and the membrane applies this same
attenuation deeply. But the membrane cannot be described by any of the
simplifications so far proposed.

-- 
Text by me above is hereby placed in the public domain

    Cheers,
    --MarkM