Запитання з тегом «existential-type»

Я читав статтю у Вікіпедії Екзистенційні типи . Я зрозумів, що їх називають екзистенціальними типами через екзистенціальний оператор (∃). Я не впевнений, в чому справа. Яка різниця між T = ∃X { X a; int f(X); } і T = ∀x { X a; int f(X); } ?

171 language-agnostic  types  type-systems  existential-type 

У чому полягає різниця між такими загальними визначеннями в Scala: class Foo[T <: List[_]] і class Bar[T <: List[Any]] Мої кишки говорять мені, що вони приблизно однакові, але останнє є більш явним. Я знаходжу випадки, коли перший компілює, а другий ні, але не можу покласти руку на точну різницю. Дякую! …

76 scala  generics  covariance  any  existential-type 

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

10 haskell  gadt  existential-type