Infimum entfernen #111

New Issue

pl · 2023-06-26T15:32:44Z

pl commented

2023-06-26 15:32:44 +00:00

public class EliminateInfimum {
/*
<A, B extends C, C extends D, E extends D, D, E extends F, F extends A> A m3(B x) {
C y = x;
D z = y;
E a = null;
z = a;
F b = a;
return b;
}
*/
<C extends D, D, E extends D> E m3(C x) {
C y = x;
D z = y;
E a = null;
z = a;
E b = a;
String s = new EliminateInfimum().<Integer, Object, String>m3(3);
return b;
}

/*
<A extends B, C extends B, B, C extends D, D, E extends D, E extends F, F> F m4(A x) {
B y = x;
C z = null;
y = z;
D a = z;
E b = null;
a = b;
F c = b;
return c;
}
*/
<A extends B, B, C extends B, F extends B> F m4(A x) {
B y = x;
C z = null;
y = z;
B a = z;
F b = null;
a = b;
F c = b;
String s = new EliminateInfimum().<Integer, Object, Float, String>m4(3);
return c;
}

}

public class EliminateInfimum { /* <A, B extends C, C extends D, E extends D, D, E extends F, F extends A> A m3(B x) { C y = x; D z = y; E a = null; z = a; F b = a; return b; } */ <C extends D, D, E extends D> E m3(C x) { C y = x; D z = y; E a = null; z = a; E b = a; String s = new EliminateInfimum().<Integer, Object, String>m3(3); return b; } /* <A extends B, C extends B, B, C extends D, D, E extends D, E extends F, F> F m4(A x) { B y = x; C z = null; y = z; D a = z; E b = null; a = b; F c = b; return c; } */ <A extends B, B, C extends B, F extends B> F m4(A x) { B y = x; C z = null; y = z; B a = z; F b = null; a = b; F c = b; String s = new EliminateInfimum().<Integer, Object, Float, String>m4(3); return c; } }

pl commented

2023-06-26 15:36:00 +00:00

Created attachment 27
grafische Darstellung

Created attachment 27 grafische Darstellung

pl commented

2023-06-26 16:13:04 +00:00

Infimum vom drei Typen
/*
 Pair<F, FF> m3a(B x) {
C y = x;
D z = y;
E a = null;
z = a;
F b = a;
FF c = a;
return new Pair<FF, F>(c,b);
}
/*

<B extends C, C extends D, E extends D, D> Pair<E,E> m3a(B x) {
C y = x;
D z = y;
E a = null;
z = a;
E b = a;
E c = a;
return new Pair<E, E>(c,b);
}

Infimum vom drei Typen /* Pair<F, FF> m3a(B x) { C y = x; D z = y; E a = null; z = a; F b = a; FF c = a; return new Pair<FF, F>(c,b); } /* Pair<E,E> m3a(B x) { C y = x; D z = y; E a = null; z = a; E b = a; E c = a; return new Pair<E, E>(c,b); }

pl commented

2023-06-26 16:40:38 +00:00

Infimumsauflösung durch Gleichsetzen der Supertypen und Gleichsetzen eine Asts

/*
 Pair<F, H> m4a(B x) {
C y = x;
D z = y;
E a = null;
z = a;
F b = a;
FF c = a;
G d = null;
c = d;
H e = d;
return new Pair<F, H>(b,e);
}
*/

<B extends C, C extends D, E extends D, D, G extends D> Pair<E,G> m4a(B x) {
 	C y = x;
 	D z = y;
 	E a = null;
 	z = a;
 	E b = a;
 	D c = a;
G d = null;
c = d;
G e = d;
 	return new Pair<E, G>(b,e);
 }

}

class Pair<T, U> {
public T x;
public U y;

public Pair() {
}

public Pair(T var1, U var2) {
    x = var1;
    y = var2;
}

public T fst() {
    return x;
}

public U snd() {
    return y;
}

}

Infimumsauflösung durch Gleichsetzen der Supertypen und Gleichsetzen eine Asts /* Pair<F, H> m4a(B x) { C y = x; D z = y; E a = null; z = a; F b = a; FF c = a; G d = null; c = d; H e = d; return new Pair<F, H>(b,e); } */ Pair<E,G> m4a(B x) { C y = x; D z = y; E a = null; z = a; E b = a; D c = a; G d = null; c = d; G e = d; return new Pair<E, G>(b,e); } } class Pair<T, U> { public T x; public U y; public Pair() { } public Pair(T var1, U var2) { x = var1; y = var2; } public T fst() { return x; } public U snd() { return y; } }

pl commented

2023-06-26 16:43:41 +00:00

Created attachment 28
Zweite Seite

Created attachment 28 Zweite Seite

dholle added the

generics

label 2024-03-04 11:22:30 +00:00

Sign in to join this conversation.