Perguntas com a marcação «gadt»

2
Esclarecimento sobre tipos existenciais em Haskell
Estou tentando entender os tipos existentes em Haskell e me deparei com um PDF http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Corrija meus entendimentos abaixo que tenho até agora. Tipos existentes não parecem estar interessados ​​no tipo que eles contêm, mas os padrões correspondentes dizem que existe algum tipo que não sabemos qual é o tipo …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.