11
Varoluşçu tip nedir?
Ben Wikipedia makalesi okumak Varoluşçu türleri . Varoluşçu operatör (∃) yüzünden bunlara varoluşçu tipler denildiğini anladım. Yine de bunun ne anlama geldiğinden emin değilim. Arasındaki fark nedir T = ∃X { X a; int f(X); } ve T = ∀x { X a; int f(X); } ?