(Untitled)

[deni_ok]

Готовясь к завтрашней лекции про линзы, нашел в недрах Control.Lens.Traversal функцию с прекрасным именем confusing:
confusing :: Applicative f => LensLike (Rift (Yoneda f) (Yoneda f)) s t a b -> LensLike f s t a b Пишут, что для fusion'а многих fmap в один.

Comments

[ex_juan_gan]

wtf is Rift, btw?

[lomeo]

http://ncatlab.org/nlab/show/Kan+lift
Что мне мало о чём говорит :(

[ex_juan_gan]

О какая прелесть; первый раз вижу; спасибо!

[palm_mute]

Как-то LensLike по жавному выглядит по соседству с Yoneda.

[deni_ok]

Так лучше?

Applicative f => Optic (->) (Rift (Yoneda f) (Yoneda f)) s t a b -> Optic (->) f s t a b

[migmit]

Казалось бы, при чём тут /etc/fstab...

[deni_ok]

Гы