А вот кому трехпараметрических типов

[deni_ok]

К завтрашнему занятию задачку со звёздочкой сделал, а то некоторые больно умные последние 15 минут практики бьют баклуши, решив всё заданное.
Введём следующий трёхпараметрический типовый оператор, инкапсулирующий композицию однопараметрических конструкторов типов:
newtype Compose f g x = Compose {getCompose :: f (g x)} Каков кайнд этого

Comments

[migmit]

Я для таких вещей обычно использую TypeCompose.

[deni_ok]

Мне там нравится имя unOO в

newtype OO f j a b = OO { unOO :: f (a `j` b) }

[udpn]

А почему без доказательств?

[deni_ok]

По просьбам трудящихся дополнительное задание: докажите, что реализованные вами представители удовлетворяют всем законам соответствующих классов типов.

[udpn]

Ура-а-а! Спасибо.

[sassa_nf]

"(<*>) = ???"

а вы студиков "pointless" функции требуете сочинять?

[deni_ok]

Нет, не требую, они сами предпочитают. Там место оставлено перед =, чтобы фломастером на доске, куда это проектируется, образцы писать :)

[sassa_nf]

ага, значит, не 9*2 :)

pure = Compose . pure . pure -- красиво
fmap = (Compose .) . (. getCompose) . fmap . fmap -- ой...
(<*>) = (Compose .) . (. getCompose) . (<*>) . ((pure (<*>)) <*>) . getCompose -- выдыхай, бобёр!

[deni_ok]

Как мне подсказывают студенты в http://deniok.dreamwidth.org/50419.html здесь был бы уместен liftA2.