YL
Size: a a a
2018 July 21
ЗП
Также можно юзать Fix + VariantF и получить идею eadt
YL
Что за идея eadt?
YL
Extensible ADT ?
ЗП
Extensible adt
YL
а в чем заключается estensibility?
ЗП
а в чем заключается estensibility?
В том что у тебя VariantF как базовый функтор и он открытый
YL
YL
@xgrommx так издалека понятно, а как оно конкретно полезно на практике?
ЗП
А значит можно делать ADT +
ЗП
Могу скинуть простейший пример
YL
С одной стороны закрытость ADT полезна когда нужно выполнить exostiveness check, компилятор больше помогает. А открытость? Примеру буду благодарен.
ЗП
С одной стороны закрытость ADT полезна когда нужно выполнить exostiveness check, компилятор больше помогает. А открытость? Примеру буду благодарен.
Ну ты можешь компоузить алгебры, у тебя расширяемый элиминатор будет
ЗП
вся магия теряется когда приходится сделать инстанс для этой суммы типов (в пурсе нельзя делать инстансы для алиасов)
ну и вот когда ты завернешь свой открытый тип в ньютайп то все
и приходится делать просто инстансы для каждого типа, что у тебя в сумме, а для открытой суммы просто именнованный элиминатор (ну и еще же можно компоузить элиминаторы)
ну и вот когда ты завернешь свой открытый тип в ньютайп то все
и приходится делать просто инстансы для каждого типа, что у тебя в сумме, а для открытой суммы просто именнованный элиминатор (ну и еще же можно компоузить элиминаторы)
YL
Благодарю!
2018 July 22
VY
мб интересно, ответ garyb про халоген: https://purescript-users.ml/t/questions-regarding-the-development-of-the-purescript-halogen-library/236/6
вот это ишью еще было интересно почитать https://github.com/slamdata/purescript-halogen/issues/138
бенчмарки https://rawgit.com/krausest/js-framework-benchmark/216615b080bbadd6e02518451500995858e76c75/webdriver-ts-results/table.html (в самом конце справа там)
вот это ишью еще было интересно почитать https://github.com/slamdata/purescript-halogen/issues/138
бенчмарки https://rawgit.com/krausest/js-framework-benchmark/216615b080bbadd6e02518451500995858e76c75/webdriver-ts-results/table.html (в самом конце справа там)
AK
а как внутри
do-нотации для Either сделать guard или что-то подобное? Он не имплементит MonadZero
Получилось только так:
someFunc :: .. ... -> Either String ...
someFunc = do
val1 <- Map.lookup .. .. # note "Not found"
val2 <- Map.lookup .. .. # note "Not found"
_ <- if (val1 == val2) then pure unit else Left "Not equal"
pure $ ...
ЗП
а как внутри
do-нотации для Either сделать guard или что-то подобное? Он не имплементит MonadZero
Получилось только так:
someFunc :: .. ... -> Either String ...
someFunc = do
val1 <- Map.lookup .. .. # note "Not found"
val2 <- Map.lookup .. .. # note "Not found"
_ <- if (val1 == val2) then pure unit else Left "Not equal"
pure $ ...
when?AK