deniok: (удивлён)
[personal profile] deniok
Готовясь к завтрашней лекции про линзы, нашел в недрах 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 в один.

Date: 2015-05-20 05:46 pm (UTC)
From: [identity profile] juan-gandhi.livejournal.com
wtf is Rift, btw?

Date: 2015-05-20 06:15 pm (UTC)
From: [identity profile] lomeo.livejournal.com
http://ncatlab.org/nlab/show/Kan+lift
Что мне мало о чём говорит :(

Date: 2015-05-20 07:33 pm (UTC)
From: [identity profile] juan-gandhi.livejournal.com
О какая прелесть; первый раз вижу; спасибо!

Date: 2015-05-20 08:27 pm (UTC)
From: [identity profile] palm-mute.livejournal.com
Как-то LensLike по жавному выглядит по соседству с Yoneda.

Date: 2015-05-21 04:11 am (UTC)
From: [identity profile] deni-ok.livejournal.com
Так лучше?
Applicative f => Optic (->) (Rift (Yoneda f) (Yoneda f)) s t a b -> Optic (->) f s t a b

Date: 2015-07-20 09:12 am (UTC)
From: [identity profile] migmit.livejournal.com
Казалось бы, при чём тут /etc/fstab...

Date: 2015-07-20 09:45 am (UTC)

Profile

deniok: (Default)
deniok

February 2022

S M T W T F S
  12345
6789101112
13141516171819
20212223 242526
2728     

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 2nd, 2025 06:57 am
Powered by Dreamwidth Studios