Что такое экзистенциальный тип?
Я прочитал в Википедии статью Экзистенциальные типы . Я понял, что они называются экзистенциальными типами из-за экзистенциального оператора (∃). Я не уверен, какой в этом смысл. какая разница между T = ∃X { X a; int f(X); } и T = ∀x { X a; int f(X); }...