K
но я же говорил, что атрибутивная алгебра + ката = аннотированное дерево фор фри
Да, но атрибуты будут только у aggregation root
Size: a a a
2020 December 17
ЗП
Да, но атрибуты будут только у aggregation root
что ты имеешь ввиду?
ЗП
как называется раздел математики, изучающий "алгебры" в смысле
(a -> b -> b) -> b -> [a] -> b? (свёрточные алгебры?)https://www.youtube.com/watch?v=Ma7IDvGMOG0
https://www.youtube.com/watch?v=nQekCzAFQmY&feature=youtu.be
только не пинайте мои первые потуги делать лекции)
https://www.youtube.com/watch?v=nQekCzAFQmY&feature=youtu.be
только не пинайте мои первые потуги делать лекции)
ЗП
а это про отличия
depth :: forall f a. Functor f => Foldable f => Cofree f a -> Int
depth = cata depthAlg
depths :: forall f a. Functor f => Foldable f => Cofree f a -> Cofree (EnvT a f) Int
depths = synthCata depthAlg
K
что ты имеешь ввиду?
data Expr a where
Var :: Name -> Expr a
Let :: Decl a -> Expr a -> Expr a
data Decl expr where
Val :: Name -> expr -> Decl expr
Если сделать
Cofree Expr Info, то у Decl никакого Info не будетЗП
data Expr a where
Var :: Name -> Expr a
Let :: Decl a -> Expr a -> Expr a
data Decl expr where
Val :: Name -> expr -> Decl expr
Если сделать
Cofree Expr Info, то у Decl никакого Info не будета это гадты, но они тут не нужны)
ЗП
но ведь тогда все составные термы и паттерны типа
biplate \case
Plus (Lit a) (Lit b) -> Lit (a + b)
other -> other
станут ужасно вербозными
biplate \case
Plus (Lit a) (Lit b) -> Lit (a + b)
other -> other
станут ужасно вербозными
можно призмами
AA
это разве гадты?
AA
все типы конструкторов одинаковые же
ЗП
это разве гадты?
я же сказал, синтаксис их, но они тут вербозны
Y
это разве гадты?
А обычные адты разве не частный случай гадтов?
MK
вечная история
AA
да, но когда говорят гадты обычно имеют в виду не обычные алгтд
MK
а натуральные числа — частный случай кватернионов
к
можно призмами
а покажи как, я без понятия как вот этот плюс собрать
ЗП
да, но когда говорят гадты обычно имеют в виду не обычные алгтд
ок буду детален в своих изречениях
я имел ввиду синтаксис гадтов, но запись адт
я имел ввиду синтаксис гадтов, но запись адт
ЗП
а покажи как, я без понятия как вот этот плюс собрать
total?
к
не, это не интересно