VY
спасибо, врубился
decidable equality короче) понятно теперь как это работает
decidable equality короче) понятно теперь как это работает
Eq1, но не очень понимал зачем я это делаю 😂 просто тупо потому что компилятор просил лолSize: a a a
2019 January 18
VY
а то я раньше дерайвил инстанс
ЗП
вообще с QuantifiedConstraints все эти Eq1, Ord1 и другое были бы не нужны
ЗП
все было бы просто определять через QuantifiedConstraints и Eq, Ord
VY
ого, да, это крутое расширение
щас пример посмотрел
но по факту да, получалось бы лаконичнее и не нужно было бы этих тайпклассов лишних
щас пример посмотрел
data Rose f a = Branch a (f (Rose f a))(хотя я никогда им не пользовался в х-е)
instance (Eq a, forall b. (Eq b) => Eq (f b))
=> Eq (Rose f a)
where ...
но по факту да, получалось бы лаконичнее и не нужно было бы этих тайпклассов лишних
ЗП
например не нужно постоянно делать не нужные переопределения fmap для Bifunctor/Profunctor
ЗП
class (forall x. Functor (f x)) => Bifunctor f where
bimap :: forall a b c d. (a -> b) -> (c -> d) -> f a c -> f b d
lmap :: forall a b c. (a -> b) -> f a c -> f b c
lmap f = bimap f id
class (forall x. Functor (f x)) => Profunctor f where
dimap :: forall a b c d. (a -> b) -> (c -> d) -> f b c -> f a d
lcmap :: forall a b c. (a -> b) -> f b c -> f a c
VY
ого,
а откуда это?
Profunctor1а откуда это?
ЗП
просто профунктор)
ЗП
это у меня так
ЗП
потому что Profunctor был уже занят
ЗП
главное что не надо fmap/rmap повторять
VY
ЗП
тоесть в констрейнте мы уже говорим требование про функтор
VY
ну да, я допер смысл расширения
это удобно
это удобно
ЗП
удобно что все эти Eq1 и прочее больше не нужны
ЗП
data MyFree f a = MyPure a | MyFree (f (MyFree f a))
instance (Eq a, forall b. Eq b => Eq (f b)) => Eq (MyFree f a) where
(MyPure a) == (MyPure b) = a == b
(MyFree as) == (MyFree bs) = as == bs
_ == _ = False
ЗП
интересно как реализовать
Show в случае чего-то такогоimport Matryoshka (class Corecursive, Algebra, embed)
-- | Formula expression.
data FormulaF a
= FooF (Intersection a)
| BarF (Intersection a)
-- ...
| LiteralF String
derive instance functorFormulaF ∷ Functor FormulaF
type Formula = Mu FormulaF
type FormulaAlgebra a = Algebra FormulaF a
derive instance genericFormulaF ∷ Generic FormulaF _
instance showFormulaF ∷ Show a ⇒ Show (FormulaF a) where
show = genericShow
опять ты через
Mu все пишешьЗП
пиши через Formula и FormulaF
ЗП
так и тайпклассы для Formula проще писать