Update: Es macht natürlich Sinn, dass beide Methoden aufgerufen werden können. Beim Lambda mit zwei gecurryten Parametern entspricht der Rückgabetyp einfach String -> Object, was ja korrekt ist.…
Mit den Änderungen von @jschmidt ist das Ergebnis stabil.
Es gibt allerdings noch ein anderes Problem. Jetzt fallen die beiden swap Methoden zusammen, da
TPH AJ = Fun1$$<java.lang.String,…
@pl Was wäre dann die richtige Vorhergehensweise? Ich kann die Lösungen rausschmeißen die sich überschneiden, das ändert aber nichts daran, dass das Ergebnis nicht vorhersehbar ist.
Ist scheinbar doch nicht so einfach umzusetzten wie gedacht. Ich dachte, man könnte das als Schritt vor der Typinferenz machen. Ich habe mal reingeschaut, das Problem ist, dass der Typ von func…
Es sieht so aus als würde die Typinferenz tatsächlich terminieren, siehe: https://gitea.hb.dhbw-stuttgart.de/JavaTX/JavaCompilerCore/actions/runs/208/jobs/0 Es dauert halt nur 30 Minuten. (Warum…
ceee9a49c4
Merge branch 'issue363' of ssh://gitea.hb.dhbw-stuttgart.de:2222/JavaTX/JavaCompilerCore into issue363
2416c80c20
Merge branch 'issue363' of ssh://gitea.hb.dhbw-stuttgart.de:2222/JavaTX/JavaCompilerCore into issue363
Die constraints für die Lambdas sind:
swap (2 Argumente): TPH N = (TPH P x) -> (TPH Q y)
swap (3 Argumente): TPH AI = (TPH AK x) -> (TPH AL y) -> (TPH AM z)
ex1: `TPH BN = (TPH B0) -> (TPH…