NK
Size: a a a
2016 May 12
NK
И вправду, смешно ж
AG
ну профунктор это типа стрелки b -> c
AG
можно замапить ковариантную функцию a->b, получим стрелку a => c
V
что означает слово "типа"?
AG
или замапить контравариантную функцию c->d, получим стрелку b => d
NK
профунктор - функция над ->?
NK
для определенных аргументов
AG
скажем так, функция это разновидность профунктора, но бывают и другие
AG
instance profunctorFn :: Profunctor (->) where
dimap a2b c2d b2c = a2b »> b2c »> c2d
dimap a2b c2d b2c = a2b »> b2c »> c2d
AG
»> здесь просто композиция функций, пюрскриптовый синтаксис :_
NK
А как это прочитать?
“a маппиться на d, через что-то”
“a маппиться на d, через что-то”
NK
?
AG
можно и так наверное
NK
типа линза - функция над функция с определенным искажением
AG
ну вообще линза это пара функций i->o и (i,o')->i'
GP
это просто пара put / get функций
GP
и не больше не меньше
AG
типа получить вьюху из модели и восстановить новую модель из новой вьюхи и старой модели
GP
и два закона есть)