Pertanyaan yang diberi tag «existential-type»

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); } ?

171 language-agnostic  types  type-systems  existential-type 

Saya mencoba memahami tipe Eksistensial di Haskell dan menemukan PDF http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Harap perbaiki pemahaman saya di bawah yang saya miliki sampai sekarang. Jenis Eksistensial tampaknya tidak tertarik pada jenis yang dikandungnya tetapi pola yang cocok dengan mereka mengatakan bahwa ada beberapa jenis kita tidak tahu apa jenisnya sampai & kecuali …

10 haskell  gadt  existential-type