GP
Чем для валидации пользуетесь?
Size: a a a
2019 October 27
GP
такую штуку нашел
GP
Офигеть ado?
GP
аду нотация я такого что то не видел
GP
В PureScript by Example такого не было
AK
Офигеть ado?
Это
do`-нотация для Applicative (`fmap`+`apply вместо bind для монад, в статье есть пример)AK
В 0.12 появился, а книжку не обновили
GP
Ага понял спасибо
2019 November 18
AK
Здравствуйте, хотел уточнить. Вот эти функции ведут себя по-разному, когда вызванные снаружи. Такое впечатление, что в первом случае оба
canceler'а (когда дискардятся) вызываются при вызове такой фунции, а во втором (когда "возвращаются") — нет, и пользователь должен их вызвать сам. Так ли это, и если да, то второй способ лучше, да же?performAndGetCanceler :: Effect (Effect Unit)
performAndGetCanceler = ...
... -> Effect Unit
... = do
_ <- performAndGetCanceler
_ <- performAndGetCanceler
pure unit
... -> Effect Unit
... = do
canceler1 <- performEffect1
canceler2 <- performEffect2
pure $ canceler1 <> canceler2
p
А какой тип у canceler{1,2}
AK
Effect UnitAK
В моём случае это
FRP.Event.subscribe, напримерAK
там
:: Effect (Effect Unit), где обёртка это подписка, а вложенный Effect Unit — это остановка подписки (a.k.a. canceler)AK
Довольно странно, у меня есть тесты, которые тестируют подписки и отписки, они все проходили, при этом явно `canceler`ы в них не вызывались, но как только я решил сделать "по-хорошему" и "возвращать" отписку во внешний мир (ничего больше не делал), всё посыпалось. Вот сейчас вызываю явно отписку везде, где могу, но пока что не помогает, наверное где-то затесался ивент, который продолжает данные слать.
AK
Довольно странно, у меня есть тесты, которые тестируют подписки и отписки, они все проходили, при этом явно `canceler`ы в них не вызывались, но как только я решил сделать "по-хорошему" и "возвращать" отписку во внешний мир (ничего больше не делал), всё посыпалось. Вот сейчас вызываю явно отписку везде, где могу, но пока что не помогает, наверное где-то затесался ивент, который продолжает данные слать.
Это проверил несколько раз, возвращался на коммит и обратно
p
А у
pure $ canceler1 <> canceler2 какой тип? Effect (Effect Unit) же, а не ... -> Effect UnitAK
да, прошу прощения, это верно