Nice TWiki > Dev > NiceCompiler > TodoList > ChangeNumberOfTypeParametersInSubclasses TWiki webs:
Dev | Doc | Main | TWiki | Sandbox
Dev . { Changes | Index | Search | Go }
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

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

Topic ChangeNumberOfTypeParametersInSubclasses . { Edit | Attach | Ref-By | Printable | Diffs | r1.2 | > | r1.1 | More }
Revision r1.2 - 08 Aug 2003 - 16:13 GMT - ArjanB
Parents: WebHome > NiceCompiler > TodoList 		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.