ЗП
я не собирал код, ищи проблему
Size: a a a
2019 June 04
KV
В пурсе нет нативных экзистенциалов?
AK
для того чтобы понимать в чём она, нужно понимать, для чего
exists. я думаю, я буду придумывать, как распараллелить c (ну, типа data C = CA | CB, хотя в моём случае c желательно, чтобы не был заранее известен).ЗП
В пурсе нет нативных экзистенциалов?
нет
AK
для того чтобы понимать в чём она, нужно понимать, для чего
exists. я думаю, я буду придумывать, как распараллелить c (ну, типа data C = CA | CB, хотя в моём случае c желательно, чтобы не был заранее известен).заглянул в исходники
purescript-exists, забавноVY
вот и я узнал что-то новенькое, никогда этим не пользовался
AK
я не собирал код, ищи проблему
и там не так много комбинаций,
Exists не помогает, как я понимаюVY
т.е. нужно определить некий тип, который хранит
a и ф-цию, которая позволяет "отобразить" этот a в какой-то конкретный типe.g:
data Foo a = Foo a (a → String)
type FooE = Exists FooAK
т.е. нужно определить некий тип, который хранит
a и ф-цию, которая позволяет "отобразить" этот a в какой-то конкретный типe.g:
data Foo a = Foo a (a → String)
type FooE = Exists Fooв данном случае:
так?
data DifferentFoosF d c = DifferentFoosF (String -> c)
newtype DifferentFoos d = DifferentFoos (Exists (DifferentFoosF d))
так?
AK
всё равно не компилится, может и правда должно в Хаскеле, но пурса не может
ЗП
вообще-то хаскель версия тоже не работает
VY
haskell:
import qualified Data.Map as Map
class IsFoo a
data X = X
data Y = Y
instance IsFoo X
instance IsFoo Y
data Foo = forall a. (IsFoo a) => Foo a
foos :: [Foo]
foos = [Foo X, Foo Y]
newtype FooMap k = FooMap (Map k Foo)
foos' :: FooMap String
foos' = FooMap
$ Map.insert "y" (Foo Y)
$ Map.singleton "x" (Foo X)
VY
purescript:
data Rep = RepI Int | RepS String
class HasRep a where rep ∷ a → Rep
data Foo a = Foo a (a → Rep)
type FooE = Exists Foo
mkFooE :: forall a. (HasRep a) => a -> FooE
mkFooE a = mkExists (Foo a rep)
newtype FooMap k = FooMap (Map k FooE)
newtype X = X Int
newtype Y = Y String
instance hasRepX ∷ HasRep X where rep (X n) = RepI n
instance hasRepY ∷ HasRep Y where rep (Y s) = RepS s
foos' ∷ FooMap String
foos' = FooMap
$ Map.insert "y" (mkFooE $ Y "y")
$ Map.singleton "x" (mkFooE $ X 1)
KV
Почти так же страшно, как GADTs
ЗП
так, можно заенкодить через двойной ранг для forall
ЗП
class IsFoo a
data X = X
data Y = Y
instance isFooX :: IsFoo X
instance isFooY :: IsFoo Y
data Foo = Foo (forall r. (forall a. IsFoo a => a -> r) -> r)
toFoo :: forall a . IsFoo a => a -> Foo
toFoo v = Foo \f -> f v
fromFoo :: forall r. Foo -> (forall a. IsFoo a => a -> r) -> r
fromFoo (Foo f) = f
foos :: Array Foo
foos = [toFoo X, toFoo Y]
newtype FooMap k = FooMap (Map.Map k Foo)
foos' :: FooMap String
foos' = FooMap
$ Map.insert "y" (toFoo Y)
$ Map.singleton "x" (toFoo X)
λ
И когда решил начать изучать функциональщину, был выбор между elm и purescript. Выбрал purescript, т.к., на сколько я понимаю, elm на беке не очень
только если "не очень" значит "никак"
AK
class IsFoo a
data X = X
data Y = Y
instance isFooX :: IsFoo X
instance isFooY :: IsFoo Y
data Foo = Foo (forall r. (forall a. IsFoo a => a -> r) -> r)
toFoo :: forall a . IsFoo a => a -> Foo
toFoo v = Foo \f -> f v
fromFoo :: forall r. Foo -> (forall a. IsFoo a => a -> r) -> r
fromFoo (Foo f) = f
foos :: Array Foo
foos = [toFoo X, toFoo Y]
newtype FooMap k = FooMap (Map.Map k Foo)
foos' :: FooMap String
foos' = FooMap
$ Map.insert "y" (toFoo Y)
$ Map.singleton "x" (toFoo X)
ЗП
это ты один в один переписал?