Was ist ein existenzieller Typ?
Ich habe den Wikipedia-Artikel gelesenExistential types. Ich habe festgestellt, dass sie aufgrund des existenziellen Operators (∃) existenzielle Typen heißen. Ich bin mir jedoch nicht sicher, worum es geht. Was ist der Unterschied zwische
T = ∃X { X a; int f(X); }
un
T = ∀x { X a; int f(X); }
?