KV
Ну т. е. у аппликативного вычисления AST известно заранее, у селективного их заранее перечислимое множество, а у монад не перечислимое (ну в теории перечислимое, потому что всё можно закодировать строками байтов, но это такоэ)
Size: a a a
2021 April 03
K
а если вас не затруднит, то вы могли бы привести хотя бы небольшой пример того, как это могло бы происходить? это очень помогло бы построить интуицию насчет того, что это такое и как этим пользоваться
https://hackage.haskell.org/package/free-5.1.6/docs/src/Control.Monad.Free.Ap.html#line-201
Когда же нужен
Free m >>= f = Free ((>>= f) <$> m)- каждый раз, когда вызывается
>>= оно обходит всё дерево, заменяя узлы Pure a на f a. Каждый раз, сверху вниз.Codensity m и его байнд устроен так, что он идёт от листьев, и всё дерево не обходится.Когда же нужен
Free f, то берётся Codensity (Free f) и разгибается через improve. И поскольку дерево было построено не через Free.>>= а через Codensity.>>= оно работает быстрее.KV
Надо короче придумать ещё более индустриальные фримонады, где бинд не функция, а мапа какая-нибудь. Чтобы реально была сериализация и прочая фигня бесплатно
t
https://hackage.haskell.org/package/free-5.1.6/docs/src/Control.Monad.Free.Ap.html#line-201
Когда же нужен
Free m >>= f = Free ((>>= f) <$> m)- каждый раз, когда вызывается
>>= оно обходит всё дерево, заменяя узлы Pure a на f a. Каждый раз, сверху вниз.Codensity m и его байнд устроен так, что он идёт от листьев, и всё дерево не обходится.Когда же нужен
Free f, то берётся Codensity (Free f) и разгибается через improve. И поскольку дерево было построено не через Free.>>= а через Codensity.>>= оно работает быстрее.у вас текст не полностью скопировался? ._.
K
а если вас не затруднит, то вы могли бы привести хотя бы небольшой пример того, как это могло бы происходить? это очень помогло бы построить интуицию насчет того, что это такое и как этим пользоваться
Извиняюсь, если запугал
Codensit-ями, но я сам пытался въехать в то как они работают, но понял только зачем их применяют и как. Чёрная магия.K
у вас текст не полностью скопировался? ._.
Я подумал, что одной ветки хватит
instance Applicative f => Monad (Free f) where
return = pure
{-# INLINE return #-}
Pure a >>= f = f a
Free m >>= f = Free ((>>= f) <$> m)
t
Я подумал, что одной ветки хватит
instance Applicative f => Monad (Free f) where
return = pure
{-# INLINE return #-}
Pure a >>= f = f a
Free m >>= f = Free ((>>= f) <$> m)
я про "же берёт
Codensity"t
выглядит так, будто телега съела кусок текста из середины
KV
Ох уж эти обобщения теоремы Кэли
t
тут очень кстати был бы смайлик, ебашащийся головой об стену
t
https://hackage.haskell.org/package/free-5.1.6/docs/src/Control.Monad.Free.Ap.html#line-201
Когда же нужен
Free m >>= f = Free ((>>= f) <$> m)- каждый раз, когда вызывается
>>= оно обходит всё дерево, заменяя узлы Pure a на f a. Каждый раз, сверху вниз.Codensity m и его байнд устроен так, что он идёт от листьев, и всё дерево не обходится.Когда же нужен
Free f, то берётся Codensity (Free f) и разгибается через improve. И поскольку дерево было построено не через Free.>>= а через Codensity.>>= оно работает быстрее.пытаюсь понять, как должны выглядеть вычисления, которые начинаются с результата
K
тут очень кстати был бы смайлик, ебашащийся головой об стену
Он изображал бы меня, пытавшегося пару лет назад всё-таки понять, как оно работает.
Оно есть
Как
newtype Codensity m a = Codensity
{ runCodensity :: forall b. (a -> m b) -> m b
}
Оно есть
>>=, частично применённый к m a.Как
type Cont r a = (a -> r) -> rK
пытаюсь понять, как должны выглядеть вычисления, которые начинаются с результата
Они не начинаются с результата
t
ну от меня смысл "правоассоциативного бинда" пока ускользает.
KV
https://arxiv.org/pdf/1406.4823.pdf
Тута написано
Тута написано
KV
ну от меня смысл "правоассоциативного бинда" пока ускользает.
Ну Вы понимаете, зачем у списков ассоциировать конкатенацию?
t
мне очень жаль, что я так жестко туплю :с наверное, таки спасибо и я пойду курить матчасть