Qu'est-ce qu'un type existentiel?
J'ai lu l'article de Wikipédia Types existentiels . J'ai compris qu'ils sont appelés types existentiels à cause de l'opérateur existentiel (∃). Je ne sais pas trop à quoi ça sert. Quelle est la différence entre T = ∃X { X a; int f(X); } et T = ∀x { X a; int f(X); }