AV
@bog2dan, что вы устраиваете лекции в будни в середине дня? Чтобы те, кто работают не приходили?
Size: a a a
2020 December 01
ЗП
@kana_sama я наконец-то заюзал Prism с aeson-lens, уж очень было лень втаскивать Array
норм
BN
@bog2dan, что вы устраиваете лекции в будни в середине дня? Чтобы те, кто работают не приходили?
да нет, такого умысла не было)
AV
Ясно! )
Oℕ
нужно строго менять подход к изучению линз и унифицировать линзы и traverse в головах людей
-
R
А в линзах есть монадический set:
setM :: ASetter s t a b -> m b -> s -> m t ?можно вместо монадического сета всю линзу сделать "монадической" и использовать обычный сет: http://hackage.haskell.org/package/monad-var-0.2.1.0/docs/MonadVar-Lens.html#v:effectful
ЗП
да как бы как говорил @A64m_qb0 линзы и пришли из траверсабл, даже по истории если смотреть
R
можно вместо монадического сета всю линзу сделать "монадической" и использовать обычный сет: http://hackage.haskell.org/package/monad-var-0.2.1.0/docs/MonadVar-Lens.html#v:effectful
ну а можно просто использовать линзу как вариант
traverse, как вверху написалиАХ
можно вместо монадического сета всю линзу сделать "монадической" и использовать обычный сет: http://hackage.haskell.org/package/monad-var-0.2.1.0/docs/MonadVar-Lens.html#v:effectful
О! Не знал про effectful, спасибо
к
почему?
Oℕ
считаешь что профит от использования линз как сложных траверсов меньше, чем профит от нормальных ошибок в случае с optics?
Мне нравятся обобщения Жюля для линз в произвольной декартовой категории и обширные прикладные возможности.
К несчастью в этом определении линзу нужно рассматривать как пару
(S -> A, (S × B) -> T)
Линзы и призмы на это натягиваются, а траверсалы и изоморфизмы - нет.
Что заставляет меня думать, что линзы и призмы по своей природе более красивые создания, чем их втянутая в кметто гольф форма.
К несчастью в этом определении линзу нужно рассматривать как пару
(S -> A, (S × B) -> T)
Линзы и призмы на это натягиваются, а траверсалы и изоморфизмы - нет.
Что заставляет меня думать, что линзы и призмы по своей природе более красивые создания, чем их втянутая в кметто гольф форма.
АХ
С другой стороны траверзалы вполне определённо полезны для животноводства. А декартовы категории?
MK
как в одном предложении оказались слова "произвольная категория" и "обширные прикладные возможности"?
MK
кажется нас обманывают