Re: supertyping

2006-12-12 Thread Luke Palmer
On 12/13/06, Luke Palmer <[EMAIL PROTECTED]> wrote: Things work a little differently for required methods. When a superrole requires a method be implemented, we (the language designers) have a choise to make: it is illegal if the superrole requires a method that the subroles don't implement or d

Re: supertyping

2006-12-12 Thread Luke Palmer
On 12/12/06, TSa <[EMAIL PROTECTED]> wrote: HaloO, Jonathan Lang wrote: > In any case, one should never add > anything while going from specific to general. The crux of my example is that one indeed adds methods in the supertype. The subtype receives a standard implementation. This pattern is a

Re: supertyping

2006-12-12 Thread TSa
HaloO, Jonathan Lang wrote: In any case, one should never add anything while going from specific to general. The crux of my example is that one indeed adds methods in the supertype. The subtype receives a standard implementation. This pattern is applicable whenever you have a case like the Num