AA
Aminion
Если юзать Attoparsec для своего кастомного протокола бинарного, то чем сереализировать данные?
байтстринг билдером
Size: a a a
2020 July 05
LO
Ну так мне интересно просто получить тройку build, host, target абстрактно от винды/невинды.
Может в CPP, х.з
TA
Divisible/Decidable, кстати, интересные классы.
co-log не даст совратьНо мне почему-то такая реализация контрАппликатива кажется более естественной:
class ContrApplicative f where
capp :: f (b -> a) -> (f a -> f b)
Но это уже совсем дичь какая-то...
Т.к. я для Op реализовать такой аппликатив пытался,но там вообще ничего не выходит...
class ContrApplicative f where
capp :: f (b -> a) -> (f a -> f b)
Но это уже совсем дичь какая-то...
Т.к. я для Op реализовать такой аппликатив пытался,но там вообще ничего не выходит...
K
Tel Asc
Но мне почему-то такая реализация контрАппликатива кажется более естественной:
class ContrApplicative f where
capp :: f (b -> a) -> (f a -> f b)
Но это уже совсем дичь какая-то...
Т.к. я для Op реализовать такой аппликатив пытался,но там вообще ничего не выходит...
class ContrApplicative f where
capp :: f (b -> a) -> (f a -> f b)
Но это уже совсем дичь какая-то...
Т.к. я для Op реализовать такой аппликатив пытался,но там вообще ничего не выходит...
Возможно потому, что это не контраппликатив, а непонятно что?
ЗП
Прежде чем делать что-то общее надо хоть одного представителя придумать и потом уже абстракцию поднимать
к
Tel Asc
Но мне почему-то такая реализация контрАппликатива кажется более естественной:
class ContrApplicative f where
capp :: f (b -> a) -> (f a -> f b)
Но это уже совсем дичь какая-то...
Т.к. я для Op реализовать такой аппликатив пытался,но там вообще ничего не выходит...
class ContrApplicative f where
capp :: f (b -> a) -> (f a -> f b)
Но это уже совсем дичь какая-то...
Т.к. я для Op реализовать такой аппликатив пытался,но там вообще ничего не выходит...
делаем все просто, перепишем апппликатив в более категорный и понятный вид
class Applicative f where
unit :: f ()
mult :: (f a, f b) -> f (a, b)
теперь собственно уже легко стрелки первернуть
class CoApplicative f where
counit :: f () -> () -- это нам бесполезно
comult :: f (a, b) -> (f a, f b)
class Applicative f where
unit :: f ()
mult :: (f a, f b) -> f (a, b)
теперь собственно уже легко стрелки первернуть
class CoApplicative f where
counit :: f () -> () -- это нам бесполезно
comult :: f (a, b) -> (f a, f b)
Oℕ
comult тоже бесполезен
Oℕ
потому что по законам оплакса он обязан быть равен
\fab -> (map fst fab, map snd fab)
\fab -> (map fst fab, map snd fab)
Oℕ
Поэтому комоноидальные функторы настолько же бесполезны в декартовых категориях, насколько и комоноиды
Oℕ
да, в декартовой категории для каждого объекта есть комоноид и это единственный комоноид, который возможен.
То же самое можно сказать про комоноидальные функторы.
Каждый функтор между декартовыми категориями комоноидален тривиальным образом и других комоноидальных функторов нет.
То же самое можно сказать про комоноидальные функторы.
Каждый функтор между декартовыми категориями комоноидален тривиальным образом и других комоноидальных функторов нет.
Oℕ
а разве комоноиды можно как-то бесплатно выразить нетривиально (то есть не
(\x -> (mempty, x))
) ?
(\x -> (mempty, x))
) ?
комоноид для производного типа x будет пара функций
\x -> () и \x -> (x, x)
\x -> () и \x -> (x, x)
TA
делаем все просто, перепишем апппликатив в более категорный и понятный вид
class Applicative f where
unit :: f ()
mult :: (f a, f b) -> f (a, b)
теперь собственно уже легко стрелки первернуть
class CoApplicative f where
counit :: f () -> () -- это нам бесполезно
comult :: f (a, b) -> (f a, f b)
class Applicative f where
unit :: f ()
mult :: (f a, f b) -> f (a, b)
теперь собственно уже легко стрелки первернуть
class CoApplicative f where
counit :: f () -> () -- это нам бесполезно
comult :: f (a, b) -> (f a, f b)
Из Applicative можно вывести devide(Divisible):
devide :: (Contravariant f,Applicative f)=>(c -> (b,a)) -> f a -> f b -> f c
devide f a b = contramap f (mult b a)
Это нормально,что из такого Applicative выводится и (<*>) и devide?
Это как-бы обобщение аппликатива?
devide :: (Contravariant f,Applicative f)=>(c -> (b,a)) -> f a -> f b -> f c
devide f a b = contramap f (mult b a)
Это нормально,что из такого Applicative выводится и (<*>) и devide?
Это как-бы обобщение аппликатива?
JS
Tel Asc
Из Applicative можно вывести devide(Divisible):
devide :: (Contravariant f,Applicative f)=>(c -> (b,a)) -> f a -> f b -> f c
devide f a b = contramap f (mult b a)
Это нормально,что из такого Applicative выводится и (<*>) и devide?
Это как-бы обобщение аппликатива?
devide :: (Contravariant f,Applicative f)=>(c -> (b,a)) -> f a -> f b -> f c
devide f a b = contramap f (mult b a)
Это нормально,что из такого Applicative выводится и (<*>) и devide?
Это как-бы обобщение аппликатива?
у вас инвариантный функтор получился, поэтому всё выводится
2020 July 06
JS
то есть это обобщение ничего
ЕС
АГ
There's not much too learn in Haskell after you got the mandatory PhD in functional programming to use it
MV