Static Types vs Dynamic Capabilities (was: a few thoughts)

[Mark S. Miller]

At 05:18 PM 7/17/00 , Karp, Alan wrote:
>Nothing says that a disallowed method needs to cause an application failure
>or even an exception.  It just needs to do something harmless.  

 From a language design perspective, the thin and thick objects would then 
simply be two different implementations of the same type.  Neither's type is 
a strict subtype of the other's type.  In this case, deriving one 
implementation from another is no more problematic than any other normal use 
of inheritance. Your novel design does indeed escape my previous criticism.


         Cheers,
         --MarkM