Als «existential-type» getaggte Fragen

11
Was ist ein existenzieller Typ?
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 …
2
scala - Jeder vs Unterstrich in Generika
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 jedoch nicht, aber den genauen Unterschied …
2
Klarstellung zu existentiellen Typen in Haskell
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 interessiert zu sein, den sie enthalten, aber Mustervergleiche besagen, dass es einen Typ gibt, von dem …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.