[cap-talk] A better reference for the "capabilities propagate too easily" argument
david.hopwood at industrial-designers.co.uk
Wed Aug 1 16:00:41 EDT 2007
> My impression is more that language folks never paid much attention
> to the criticisms of capabilities in the OS context. After all, for
> capabilities to work at all at the language level, the language must
> rely on free copying of capabilities for parameter passing.
Sorry, this statement is too strong. If all references are treated
uniformly as capabilities, then the language must rely on free copying
of capabilities for parameter passing. In principle, there could be
different classes of references, although I don't recommend it.
David Hopwood <david.hopwood at industrial-designers.co.uk>
More information about the cap-talk