2
Роз'яснення екзистенціальних типів у Хаскеллі
Я намагаюся зрозуміти екзистенційні типи в Haskell і натрапив на PDF http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Будь ласка, виправте мої нижче розуміння, які я маю дотепер. Екзистенціальні типи, схоже, не цікавляться типом, який вони містять, але узор, що відповідає їм, говорить про те, що існує якийсь тип, який ми не знаємо, що це до …