Spezifizierung der FC #255

New Issue

stan · 2017-10-25T21:58:24Z

stan commented

2017-10-25 21:58:24 +00:00

Created attachment 3
Unify-Regel aus Schritt 4

Aus der Studienarbeit von Florian Steuerer stammt das Bild im Anhang.
Was soll die folgende Stelle bedeuten:

O < C<O_1, O_2, ...> € FC(<)

Was hat O_1 für einen Typ bei den folgenden Klassen

class List {...
class Klasse { ...
class Klasse2 { ...

Created attachment 3 Unify-Regel aus Schritt 4 Aus der Studienarbeit von Florian Steuerer stammt das Bild im Anhang. Was soll die folgende Stelle bedeuten: O < C<O_1, O_2, ...> € FC(<) Was hat O_1 für einen Typ bei den folgenden Klassen class List<A> {... class Klasse<A extends Integer> { ... class Klasse2<Integer> { ...

stan commented

2017-10-27 14:48:45 +00:00

Ist vermutlich in der FC nicht berücksichtigt.
Bei Generics mit Bounds muss man eben am Ende der Unifikation kontrollieren, ob das Ergebnis respektive der Bounds erlaubt ist.

Ist vermutlich in der FC nicht berücksichtigt. Bei Generics mit Bounds muss man eben am Ende der Unifikation kontrollieren, ob das Ergebnis respektive der Bounds erlaubt ist.

Sign in to join this conversation.