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