Pertanyaan yang diberi tag «gadt»

2
Klarifikasi tentang Jenis Eksistensial di Haskell
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 …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.