11
Що таке екзистенційний тип?
Я читав статтю у Вікіпедії Екзистенційні типи . Я зрозумів, що їх називають екзистенціальними типами через екзистенціальний оператор (∃). Я не впевнений, в чому справа. Яка різниця між T = ∃X { X a; int f(X); } і T = ∀x { X a; int f(X); } ?