KV
Но моё решение и для разных траверсалов годится
Size: a a a
2018 December 27
KV
Или я не понял
ЗП
в Day есть
dapKV
liftA2 (/\) `on` toList
KV
Аааа блин разметка
ЗП
меня toList смущает
KV
И ещё on должно смущать, потому что оно слепляет что не надо как обычно
KV
А toList почему?
KV
Ну я же говорю про решение, не требующее Day
KV
Вместо списков можно подставить ваш любимый аппликативный контейнер, который уместен про смыслу
KV
Просто toList уже готовое написано (в хаскелле по крайней мере)
ЗП
zipCata :: forall ta fa tb fb c. Recursive ta fa => Recursive tb fb => ((ta -> tb -> c) -> fa ta -> fb tb -> c) -> ta -> tb -> c
zipCata phi x y = phi (zipCata phi) (project x) (project y)
или через
DaylowerDay :: forall t g f a. Recursive t g => Algebra (Day f g) a -> Algebra f (t -> a)
lowerDay phi fta t = phi (day fta (project t) (uncurry ($)))
zipCata :: forall f g t a u. Recursive t f => Recursive u g => Algebra (Day f g) a -> t -> u -> a
zipCata = cata <<< lowerDay
KV
Вот ещё бы знать, что это все такое
ЗП
параллельно можно 2 структуры вертеть
ЗП
eqList' :: forall a. Eq a => List a -> List a -> Boolean
eqList' = zipCata alg
where
alg :: (List a -> List a -> Boolean) -> ListF a (List a) -> ListF a (List a) -> Boolean
alg _ NilF NilF = true
alg f (ConsF x xs) (ConsF y ys) = (x == y) && (f xs ys)
alg _ _ _ = false
ЗП
но не обязательно одинаковые
KV
Recursive из recursion schemes?