Apa jenis eksistensial?
Saya membaca artikel Wikipedia jenis Eksistensial . Saya mengetahui bahwa mereka disebut tipe eksistensial karena operator eksistensial (∃). Saya tidak yakin apa gunanya itu. Apa bedanya T = ∃X { X a; int f(X); } dan T = ∀x { X a; int f(X);