[cap-talk] A better reference for the "capabilities propagate too easily" argument

[David Hopwood]

I wrote:
> 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>