ЗП
тогда это явное соответствие с
<*> будетSplice: (f Free f a, Day f f a -> Free f b) -> Free f bSize: a a a
2019 July 02
Oℕ
я попытался представить, что если бы у нас был конструктор
Oℕ
этим я пытаюсь создать то самое свободное представление Compose f f ~> Day f f
Oℕ
Которое типа минималистичное дополнение монады до аппликатива
Oℕ
Если честно, не вполне понимаю ,что я там в коде сделал.
Писал, чтобы типы сошлись
Писал, чтобы типы сошлись
ЗП
а не достаточно доказать что,
Compose f f ~> Day f f?Oℕ
а не достаточно доказать что,
Compose f f ~> Day f f?можешь кодом написать, что ты предлагаешь?
ЗП
только мне кажется наоборот должно быть
ЗП
Day f g ~> Comp f gNI
только мне кажется наоборот должно быть
+1
Oℕ
Ну так я же добавляю конструктор такой формы
Oℕ
Я предполагаю, что образующий функтор умеет собирать Day , мне нужно, воспользовавшись этим придумать "свободную форму" mu, которая будет выражать композицию через свёртку
ЗП
data Y p f a where
Y :: p b a -> f b -> Y p f a
type Day2 f g a = Y (Cayley g (->)) f a
type CoyonedaBind2 f g a = Y (Star g) f a
fromCoyonedaBind2ToCompose :: forall f g. Functor f => CoyonedaBind2 f g ~> Compose f g
fromCoyonedaBind2ToCompose (Y (Star bfa) gb) = Compose (fmap bfa gb)
fromComposeToCoyonedaBind2 :: forall f g. Compose f g ~> CoyonedaBind2 f g
fromComposeToCoyonedaBind2 (Compose fga) = Y (Star id) fga
fromCoyonedaDayToCoyonedaBind2 :: forall f g. Functor g => Day2 f g ~> CoyonedaBind2 f g
fromCoyonedaDayToCoyonedaBind2 (Y (Cayley pba) gb) = Y (Star (\b -> fmap ($ b) pba)) gb
Oℕ
data Y p f a where
Y :: p b a -> f b -> Y p f a
type Day2 f g a = Y (Cayley g (->)) f a
type CoyonedaBind2 f g a = Y (Star g) f a
fromCoyonedaBind2ToCompose :: forall f g. Functor f => CoyonedaBind2 f g ~> Compose f g
fromCoyonedaBind2ToCompose (Y (Star bfa) gb) = Compose (fmap bfa gb)
fromComposeToCoyonedaBind2 :: forall f g. Compose f g ~> CoyonedaBind2 f g
fromComposeToCoyonedaBind2 (Compose fga) = Y (Star id) fga
fromCoyonedaDayToCoyonedaBind2 :: forall f g. Functor g => Day2 f g ~> CoyonedaBind2 f g
fromCoyonedaDayToCoyonedaBind2 (Y (Cayley pba) gb) = Y (Star (\b -> fmap ($ b) pba)) gb
это даёт решение задачи?
ЗП
я про то, что
Day f g ~> Compose f gЗП
но не наоборот
Oℕ
я думаю, всем понятно ,что зная, что f g - функторы, можно построить Day f g ~> Compose f g
Oℕ
вопрос, как построить тип данных Foo, дающий следующие три определения
foo :: f ~> Foo fв начальной форме, а не что-то вроде
instance Applicative f => Monad (Foo f)
fooFoldMap :: (Monad g, Applicative f) => (forall a. f a -> g a) -> Foo f b -> g b
newtype FreeMon' f a =
FreeMon'
(forall g. (Monad g, Applicative f) =>
(forall b. f b -> g b) -> g a)
Oℕ
я полагаю, что мои построения с большой вероятностью ошибочны, мне интересно где
ЗП
вопрос, как построить тип данных Foo, дающий следующие три определения
foo :: f ~> Foo fв начальной форме, а не что-то вроде
instance Applicative f => Monad (Foo f)
fooFoldMap :: (Monad g, Applicative f) => (forall a. f a -> g a) -> Foo f b -> g b
newtype FreeMon' f a =
FreeMon'
(forall g. (Monad g, Applicative f) =>
(forall b. f b -> g b) -> g a)
тоесть final encoding тебе не подходит?