[E-Lang] Summary for Practical Programming
Thu, 01 Feb 2001 14:44:56 -0800
Marc - Thanks for trying to summarize things.
At 02:15 PM 2/1/01 -0700, Marc Stiegler wrote:
>6. We all agree that POLA is an inherent characteristic in the nature of
>capability systems, and to the various extents that each individual in this
>discussion knows the actual behaviors of these implementations, POLA is a
>part of both E and EROS as actual implementations.
I am not sure about this one. I think some of the early capability systems
did not easily support POLA. (Where is my copy of Levy.) Certainly one
could design a capability system where every call (by convention) passed a
capability to the home directory. I think a rewording is in order.