Co to jest typ egzystencjalny?
Przeczytałem artykuł w Wikipedii Typy egzystencjalne . Dowiedziałem się, że nazywa się je typami egzystencjalnymi ze względu na operator egzystencjalny (∃). Nie jestem jednak pewien, jaki to ma sens. Jaka jest różnica pomiędzy T = ∃X { X a; int f(X); } i T = ∀x { X a; int f(X);...