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 …