Diberi jenis eksistensial T = ∃X.{op₁:X, op₂:X→boolean} dan antarmuka Java generik ini: interface T<X> { X op₁(); boolean op₂(X something); } Apa perbedaan mendasar antara tipe eksistensial dan antarmuka Java? Jelas ada perbedaan sintaksis, dan orientasi objek Java (yang juga mencakup...