2
Chiarimento sui tipi esistenziali in Haskell
Sto cercando di capire i tipi esistenziali in Haskell e ho trovato un PDF http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Per favore, correggi le mie intese che ho fino ad ora. I tipi esistenziali non sembrano essere interessati al tipo che contengono, ma i pattern corrispondenti ad essi dicono che esiste un tipo che non …