AK
логично же
sync -> async можно
async -> sync нет
sync -> async можно
async -> sync нет
да, логично, недооформил чётко эту мысль для себя, поэтому уточнил
Size: a a a
2019 August 12
ЗП
ты хочешь параллельно?
AK
Нет, всё подходит так
AK
Когда принимать решение в своих типах переходить с
Effect на Aff?AK
Хотя логично тоже, когда асинхронность появляется
AK
Считайте вопрос риторическим
p
Когда принимать решение в своих типах переходить с
Effect на Aff?Да, как можно позже.
2019 August 15
2019 August 16
ЗП
хотите чутка адка?) просто прочитайте код и посмотрите сколько техник собрано в одном месте
https://github.com/MonoidMusician/dhall-purescript
https://github.com/MonoidMusician/dhall-purescript
2019 August 17
DR
Dhall-related штуки в принципе адок
2019 August 21
p
Dhall-related штуки в принципе адок
Что внутри не смотрел, а так оказалась прикольная штука. Жаль, только, в репозиториях мейнстримных дистров нет его.
2019 September 10
2019 September 25
ЗП
представте, что у вас есть маленькая алгебра
ЗП
depthAlg :: forall f a. Foldable f => EnvT a f Int -> Int
depthAlg (EnvT (Tuple e wa)) = 1 + fromMaybe 0 (maximum wa)
ЗП
ее задача, просто найти глубину в Cofree
ЗП
как частный случай RoseTree
ЗП
и тут возникла задача, расширить эту алгебру и добавить не только глубину, но и оригинальные значения
ЗП
делается это достаточно просто
depthsAlg :: forall f a. Foldable f => Functor f => EnvT a f (Tuple a Int) -> Tuple a Int
depthsAlg = headE &&&& depthAlg
ЗП
применяя к нашей маленькой алгебре катаморфизм мы получаем глубину дерева
depth :: forall f a. Functor f => Foldable f => Cofree f a -> Int
depth = cata depthAlg
ЗП
но что если мы хотим получить каждый шаг? (так сказать аннотированное дерево)