Preguntas etiquetadas con gadt

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 …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.