λ
Day convolution есть
exists a b. (a -> b -> x) (f a) (g b)Именно exists, а не forall? Оо
forall a b. (a -> b -> x) -> f a -> g bSize: a a a
2018 December 27
ЗП
λ
forall a b. (a -> b -> x) -> f a -> g bХммммммммм. А тут точно больше стрелок быть не должно?
λ
Ок, лучше по ссылкам схожу почитаю.
VY
я так по диагонали пробежался, вроде понятно
VY
блин, я думал тут гифки с превьюшками будут, так не интересно
ЗП
ну у нас в разных категориях свое моноидальное умножение
для FreeMonad это Compose
для FeeeApplicative это Day
для FreeMonad это Compose
для FeeeApplicative это Day
ЗП
после нашего общения Лиам заменил data на newtype :D
VY
ага, я видел) https://github.com/paf31/purescript-day/pull/8/files#diff-3dae30ddedc417c4cf5d5666bdaee460R39
ну круто, там вроде
ну круто, там вроде
data не нуженKV
я всё раньше не понимал как избежать вот такого:
надо намутить что-то вводное, я сходу не понимаю что написано в том пакете
for_ e0 \v0 ->но вот вчера увидел решение на основе day convolution и не понял ничего совсем
for_ e1 \v1 ->
for_ e2 \v2 ->
b v0 v1 v2
for_ (e0 <⊗> e1 <⊗> e2) \(v0 /\ v1 /\ v2) ->
b v0 v1 v2
надо намутить что-то вводное, я сходу не понимаю что написано в том пакете
А ссылку можно?
VY
KV
Ну для этой задачи конкретно оверкилл, можно же просто траверсиблы собрать в список n-ок
VY
а как? допустим есть несколько
...
как вот такое можно записать иначе?
e0 :: a -> Maybe b
e1 :: b -> Maybe c...
как вот такое можно записать иначе?
for_ e0 \v0 ->
for_ e1 \v1 ->
for_ e2 \v2 ->
b v0 v1 v2
VY
в реально жизни это превращается в
VY
(ну тут, конечно, немного больше проблем, чем просто лестница из
for_ :))ЗП
(ну тут, конечно, немного больше проблем, чем просто лестница из
for_ :))ну не забывай, что
/\ это есть Tuple - лишний конструкторKV
Ну сделать оператор
\t1 t2 -> (/\) <$> toList t1 <*> toList t2
Синтаксис тот же самый будет
\t1 t2 -> (/\) <$> toList t1 <*> toList t2
Синтаксис тот же самый будет
ЗП
Ну сделать оператор
\t1 t2 -> (/\) <$> toList t1 <*> toList t2
Синтаксис тот же самый будет
\t1 t2 -> (/\) <$> toList t1 <*> toList t2
Синтаксис тот же самый будет
ну а я что говорил? что Day f f есть liftA2