2
Clarification sur les types existentiels dans Haskell
J'essaie de comprendre les types existentiels dans Haskell et je suis tombé sur un PDF http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Veuillez corriger mes compréhensions ci-dessous que j'ai jusqu'à présent. Les types existentiels ne semblent pas être intéressés par le type qu'ils contiennent, mais les modèles qui les correspondent disent qu'il existe un type, nous …