existential-type

9Ciepło

1Odpowiedz

Odwołując się do zmiennej typu egzystencjalnego

Chciałbym dodać sygnatury typu do niektórych funkcji lokalnych w moim kodzie. Jednak ich typy obejmują anonimowe, egzystencjalnie związane zmienne typu. Ponieważ są anonimowe, nie wiem, jak napisać po

5Ciepło

1Odpowiedz

Rodzaje niezgodnych z typem lambda

kłopoty z typu "rodzaje": trait Sys[ S <: Sys[S]] trait Expr[S <: Sys[S], A] trait Attr[S <: Sys[S], A[_]] def test[ S <: Sys[S]]: Attr[S, ({type l[x<:Sys[x]]=Expr[x,Int]})#l] = ??? To nie z erro

6Ciepło

1Odpowiedz

Jak radzić sobie z niemożnością użycia soczewek z typami egzystencjalnymi?

Używam obiektywu bibliotekę Edwarda Kmett jest po raz pierwszy, a znalezienie go dość ładne, ale wpadłem na szkopuł ... pytaniem na [1] wyjaśnia, że kwantyfikatory egzystencjalne zakłócić makeLenses

13Ciepło

1Odpowiedz

Dlaczego `[1," a "] :: [forall a. Pokaż a => a] `jest niedozwolone?

W moim (może być niepoprawne) zrozumienia po obu listach powinny być równoważne: [1, "a"] :: [forall a. Show a => a] data V = forall a. Show a => V a [V 1, V "a"] :: [V] Jednak pierwsze nie jest

9Ciepło

2Odpowiedz

Typowe odlewanie GADTs

Załóżmy, że piszę DSL i chcę mieć wsparcie zarówno dla typów fantomowych, jak i źle wypisanych wyrażeń. Moje typy wartości mogą być {-# LANGUAGE GADTs, DataKinds #-} data Ty = Num | Bool deriving (T

5Ciepło

3Odpowiedz

Konieczność wrapperów typu egzystencjalnego

Okazuje się, że zaskakująco trudno poprawnie używać typów egzystencjalnych/rang-n, pomimo bardzo prostego pomysłu. Dlaczego owijanie typów egzystencjalnych w typy data jest konieczne? mam następujący

11Ciepło

3Odpowiedz

Egzystencjalne typy w C#?

Obecnie mam do czynienia z problemem w języku C#, który moim zdaniem mógłby zostać rozwiązany przy użyciu typów egzystencjalnych. Jednak tak naprawdę nie wiem, czy można je utworzyć w języku C#, czy s

5Ciepło

1Odpowiedz

Jakie jest znaczenie umieszczenia klauzuli "forSome" w składni generycznej Scala?

Na podstawie odpowiedzi na this question wydaje się, że umieszczenie "forSome" po komponencie definicji typu różni się od umieszczenia go na końcu całej rzeczy. Na przykład, wydaje się, że istnieje ró

9Ciepło

1Odpowiedz

skolemizacja z egzystencjalnie wpisywanych wyrażeń

w Scala, następujące wyrażenie zgłasza błąd typu: val pair: (A => String, A) forSome { type A } = ({ a: Int => a.toString }, 19) pair._1(pair._2) Jak wspomniano w SI-9899 i to answer ta jest popraw

5Ciepło

2Odpowiedz

Dlaczego nie mogę uzyskać programu Show tutaj?

Dlaczego nie mogę uzyskać programu Show tutaj? {-# LANGUAGE ExistentialQuantification #-} data Obj = forall a. (Show a) => Item_Obj {get :: a, rest :: Obj} | No_Obj deriving Show xs :: Obj xs = It