Ich habe den Wikipedia-Artikel Existenzielle Typen gelesen . Ich habe festgestellt, dass sie aufgrund des existenziellen Operators (∃) als existenzielle Typen bezeichnet werden. Ich bin mir jedoch nicht sicher, worum es geht. Was ist der Unterschied zwischen T = ∃X { X a; int f(X); } und T = ∀x...
Was ist der Unterschied zwischen den folgenden generischen Definitionen in Scala: class Foo[T <: List[_]] und class Bar[T <: List[Any]] Mein Bauch sagt mir, dass sie ungefähr gleich sind, aber dass letzteres expliziter ist. Ich finde Fälle, in denen das erstere kompiliert, das letztere...
Ich versuche, existentielle Typen in Haskell zu verstehen und bin auf ein PDF gestoßen: http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Bitte korrigieren Sie mein unten stehendes Verständnis, das ich bis jetzt habe. Existenzielle Typen scheinen nicht an dem Typ...