Domande taggate «existential-type»

Che cos'è un tipo esistenziale?

Ho letto l'articolo di Wikipedia Tipi esistenziali . Ho raccolto che si chiamano tipi esistenziali a causa dell'operatore esistenziale (∃). Non sono sicuro di quale sia il punto, però. Qual è la differenza tra T = ∃X { X a; int f(X); } e T = ∀x { X a; …

171 language-agnostic types type-systems existential-type

Chiarimento sui tipi esistenziali in Haskell

Sto cercando di capire i tipi esistenziali in Haskell e ho trovato un PDF http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Per favore, correggi le mie intese che ho fino ad ora. I tipi esistenziali non sembrano essere interessati al tipo che contengono, ma i pattern corrispondenti ad essi dicono che esiste un tipo che non …

10 haskell gadt existential-type

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.