Verallgemeineinerung generated generics #62

New Issue

pl · 2020-01-29T17:26:04Z

pl commented

2020-01-29 17:26:04 +00:00

class Cycle2 {

  id2(x) { return x; }
  
  m2(x, y) {
   	   y = id2(x);
   x = y;
  }

}

liefert

class Cycle2 {
public Cycle2();
public <P$> P$ id2(P$);
public <P$> void m2(P$, P$);
}

allgemeiner wäre:

class Cycle2 {

<L extends K, K>
K id2(L x){
return x;
}

void m2(Z x, Z y){ y = id2(x); x = y; } }

Dies könnte mit ein er Veränderung der Implementierung )vgl. Journal_Survey_JavaTX) erreichetr werden

class Cycle2 { id2(x) { return x; } m2(x, y) { y = id2(x); x = y; } } liefert class Cycle2 { public Cycle2(); public <P$> P$ id2(P$); public <P$> void m2(P$, P$); } allgemeiner wäre: class Cycle2 { <L extends K, K> K id2(L x){ return x; } <Z> void m2(Z x, Z y){ y = id2(x); x = y; } } Dies könnte mit ein er Veränderung der Implementierung )vgl. Journal_Survey_JavaTX) erreichetr werden

Sign in to join this conversation.