SK
что-то слишком сложно о Reader’e написано.. Почему там пара стрелок вообще? Если действие Reader(A->B) имеет тип R->A->B.
Size: a a a
2019 October 08
ЕО
Потому что R->A->B это не well-typed в теоркате :)
SK
а что там с типом будет то?
SK
не понимаю в чем именно проблема. и что за пара стрелок?
A
ну вот если у меня есть какой-то функтор, который отправляет объекты в стрелки, то стрелки он должен отправить в "стрелки между стрелками"
A
в случае Reader, те стрелки, куда он отправляет объекты, имеют все общее начало
NI
Вероятно, вот это немного разъяснит —
https://en.wikipedia.org/wiki/Hom_functor
Смотреть ковариантный hom-функтор.
И вот картинка на тему ковариантного hom-функтора —
https://bartoszmilewski.com/2015/07/13/from-lenses-to-yoneda-embedding/hom-functor/
https://en.wikipedia.org/wiki/Hom_functor
Смотреть ковариантный hom-функтор.
И вот картинка на тему ковариантного hom-функтора —
https://bartoszmilewski.com/2015/07/13/from-lenses-to-yoneda-embedding/hom-functor/
A
то есть функтор ставит объекту А в соответствие не одну конкретную стрелку R->A, а отправляет A в множество всех стрелок R->A (которое обозначается Hom(R, A)).
NI
Вот-вот.
A
попробую переварить
NI
Ну и стрелку преобразует в отображение таких множеств.
NI
Есть стрелка x->y
Есть стрелка zю->x — как её превратить в стрелку типа zю->y?
Есть стрелка zю->x — как её превратить в стрелку типа zю->y?
A
композицией
NI
Её же можно провернуть для любой стрелки из zю->x?
A
ну да
A
то есть получается, чтобы Reader работал для какой-то стрелки X->Y, надо скормить стрелку A->X
NI
то есть получается, чтобы Reader работал для какой-то стрелки X->Y, надо скормить стрелку A->X
"работал", это чтоб fmap работало? ;-)
NI
Ну вот тут же всё понятно —
Что тут непонятно?
newtype Reader e a = Reader (e -> a)
instance Functor (Reader e) where
fmap f (Reader g) = Reader (\x -> f (g x))
В этой строчке, (Reader g) просто паттерн-матчит какую-то стрелку e->a.
Ну а потом, применяет это вот f.
Типов тут мало проставлено, то несложно самому вывести.
Что тут непонятно?
newtype Reader e a = Reader (e -> a)
instance Functor (Reader e) where
fmap f (Reader g) = Reader (\x -> f (g x))
В этой строчке, (Reader g) просто паттерн-матчит какую-то стрелку e->a.
Ну а потом, применяет это вот f.
Типов тут мало проставлено, то несложно самому вывести.
A
ну то есть "экземпляр" ридера зохавывает сразу e, a и стрелку между ними
A
а на одном e он не строится