2
Aclaración sobre los tipos existenciales en Haskell
Estoy tratando de entender los tipos existenciales en Haskell y encontré un PDF http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Corrija mis entendimientos a continuación que tengo hasta ahora. Los tipos existenciales no parecen estar interesados en el tipo que contienen, pero los patrones que coinciden con ellos dicen que existe algún tipo que no sabemos …