Nice TWiki > Dev > ChangeNumberOfTypeParametersInSubclasses (r1.1 vs. r1.2) TWiki webs:
Dev | Doc | Main | TWiki | Sandbox
Dev . { Changes | Index | Search | Go }
 <<O>>  Difference Topic ChangeNumberOfTypeParametersInSubclasses (r1.2 - 08 Aug 2003 - ArjanB)
Added:
>
>

Yes,

class B extends A<Foo>
would be possible. In such cases the compiler only have to remember that class B has a hidden type parameter Foo. For complex cases and subclasses with more type parameters as the superclass, i don't know if it will be possible maybe can Daniel tell more about that.

-- ArjanB


 <<O>>  Difference Topic ChangeNumberOfTypeParametersInSubclasses (r1.1 - 08 Aug 2003 - RohanHart)
Added:
>
>

%META:TOPICINFO{author="RohanHart" date="1060323249" format="1.0" version="1.1"}% %META:TOPICPARENT{name="TodoList"}% Does "Modification of the type system for subclasses with a different number of type parameters than the parent." mean that I could do:

class B extends A<Foo> {}
rather than the current approximation:
class B {
  A<Foo> b;
  equals(that@B) = b.equals(that);
  // other wrappers for pass through functions to make B act like an A<Foo>
}

Yet B exists primarily so that functions can require a B rather than allow in any kind of A<Foo>

-- RohanHart - 08 Aug 2003


Topic ChangeNumberOfTypeParametersInSubclasses . { View | Diffs | r1.2 | > | r1.1 | More }
Revision r1.1 - 08 Aug 2003 - 06:14 GMT - RohanHart
Revision r1.2 - 08 Aug 2003 - 16:13 GMT - ArjanB
Copyright © 1999-2003 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback.