On Apr 30, 2008, at 8:43 AM, TSa wrote:

John M. Dlugosz wrote:
"isa" as a synonym for "is" that turns on warnings is documented at the end of my paper under "Concepts discussed in this paper that are not on the Synopses".

I totally agree! Using 'isa' pulls in the type checker. Do we have the
same option for 'does' e.g. 'doesa'? Or is type checking always implied
in role composition? Note that the class can override a role's methods
at will.

It occurs to me that this shouldn't be new keywords, but adverbs, i.e. ``is :strict Dog''.

Reply via email to