AK
Возможно функция?
например, определить класс какой-то, вот как там с примером
RenderableSize: a a a
2019 June 04
AK
ну вот как тут https://wiki.haskell.org/Existential_type
например, определить класс какой-то, вот как там с примером
например, определить класс какой-то, вот как там с примером
перечитаю с новым взглядом, спасибо
ЗП
exists делает инкапсуляцию на типах
AK
Плохо ещё разбираюсь в existential и подобных штуках, спрошу вопрос, если он совсем глупый — направьте, пожалуйста, что почитать на эту тему подробнее, чем на HaskellWiki.
class (MyClass c d) where
f1 :: c -> d
f2 :: c -> d -> Boolean
f3 :: c -> d -> d
instance xyMyClass :: MyClass X Y where
...
data Foo c d = Foo (MyClass c d => ...)
data DifferentFoos d = DifferentFoos (Map String (forall c. Foo c d))
data X = ...
data Y = ...
myFoo :: Foo X Y
myFoo = Foo ...
myDifferentFoos :: DifferentFoos Y
myDifferentFoos = DifferentFoos $ Map.singleton "test" myFoo
Такой класс есть, но тут констрейнт внутри
FooAK
Ну вот
myClass заводил именно для этогоAK
имел в виду что у
Foo этот констрейнт в первую очередь (нельзя сделать инстанс Foo не удовлетворив этот констрейнт)λ
А кто-то использует purescript в продакшн и для чего?
@graninas даже на бэке его использует
VY
а его почему-то тут нет(
ГХ
ГХ
И когда решил начать изучать функциональщину, был выбор между elm и purescript. Выбрал purescript, т.к., на сколько я понимаю, elm на беке не очень
AK
переписал на PS, в пурсе не компилируется:
(назвал по-другому типы, чтобы явнее было видно, что различными должны быть
class MyClass c d
instance myClassCAD :: MyClass CA D
instance myClassCBD :: MyClass CB D
newtype Foo c d = Foo (MyClass c d => c /\ d)
data DifferentFoos d =
DifferentFoos (forall c. Map String (Foo c d))
data CA = CA
data CB = CB
data D = D
cad :: Foo CA D
cad = Foo (CA /\ D)
cbd :: Foo CB D
cbd = Foo (CB /\ D)
myDifferentFoos :: DifferentFoos D
myDifferentFoos = DifferentFoos
$ Map.insert "cad" cad
$ Map.singleton "cbd" cbd
(назвал по-другому типы, чтобы явнее было видно, что различными должны быть
CA и CB, которые подставляются на место c, а D — всегда d)ГХ
Поддержка во всяких ide не очень
ЗП
переписал на PS, в пурсе не компилируется:
(назвал по-другому типы, чтобы явнее было видно, что различными должны быть
class MyClass c d
instance myClassCAD :: MyClass CA D
instance myClassCBD :: MyClass CB D
newtype Foo c d = Foo (MyClass c d => c /\ d)
data DifferentFoos d =
DifferentFoos (forall c. Map String (Foo c d))
data CA = CA
data CB = CB
data D = D
cad :: Foo CA D
cad = Foo (CA /\ D)
cbd :: Foo CB D
cbd = Foo (CB /\ D)
myDifferentFoos :: DifferentFoos D
myDifferentFoos = DifferentFoos
$ Map.insert "cad" cad
$ Map.singleton "cbd" cbd
(назвал по-другому типы, чтобы явнее было видно, что различными должны быть
CA и CB, которые подставляются на место c, а D — всегда d)конечно
AK
переписал на PS, в пурсе не компилируется:
(назвал по-другому типы, чтобы явнее было видно, что различными должны быть
class MyClass c d
instance myClassCAD :: MyClass CA D
instance myClassCBD :: MyClass CB D
newtype Foo c d = Foo (MyClass c d => c /\ d)
data DifferentFoos d =
DifferentFoos (forall c. Map String (Foo c d))
data CA = CA
data CB = CB
data D = D
cad :: Foo CA D
cad = Foo (CA /\ D)
cbd :: Foo CB D
cbd = Foo (CB /\ D)
myDifferentFoos :: DifferentFoos D
myDifferentFoos = DifferentFoos
$ Map.insert "cad" cad
$ Map.singleton "cbd" cbd
(назвал по-другому типы, чтобы явнее было видно, что различными должны быть
CA и CB, которые подставляются на место c, а D — всегда d)Could not match type
CB
with type
CA
ЗП
Could not match type
CB
with type
CA
это не exists у тебя
VY
ой, у меня там не то написано короче тоже
AK
ЗП
data DifferentFoosF d c = DifferentFoosF (Map String (Foo c d))
newtype DifferentFoos d = DifferentFoos (Exists (DifferentFoosF d))
AK
data DifferentFoosF d c = DifferentFoosF (Map String (Foo c d))
newtype DifferentFoos d = DifferentFoos (Exists (DifferentFoosF d))
тот же результат