[cap-talk] "Same" key

[David Hopwood]

Mark S. Miller wrote:
> David Hopwood wrote:
> 
>> I'm afraid I don't have much time for anyone who tries to understand a
>> concept in terms of just one implementation approach. (In the case of
>> dynamic method dispatch, there are at least three approaches, of which
>> v-tables are a special case of one [*].)
> 
> First, Bill himself understands all these concepts quite well.

I may not have expressed myself well here; that isn't what I was attempting
to say (although I don't think Bill would claim to be an expert on the
implementation of dynamic dispatch in programming languages).

My point was that Bill's post seemed to say that we should be basing our
terminology on the viewpoint of people who do try to understand concepts in
terms of particular implementations. I strongly disagree with that. The
obj-cap model is intended to be applicable to both capability languages
and capability operating systems (and hybrids of the two), independent of
implementation. As far as I can see, it already is, and so is its terminology.

-- 
David Hopwood <david.nospam.hopwood at blueyonder.co.uk>