Funkcjonalne soczewki

80

Czy ktoś mógłby mi wyjaśnić funkcjonalne soczewki? To zaskakująco trudny temat do wygooglowania i nie poczyniłem żadnych postępów. Wiem tylko, że zapewniają podobną funkcjonalność get / set niż w OO.

haskell functional-programming lenses Masse
źródło
7
Na YouTube jest fajne wprowadzenie do obiektywów Edwarda Kmetta. Przykłady są w Scali, ale nie powinno być to trudne do naśladowania.
hammar
Tak, próbowałem je obejrzeć, ale mając wystarczająco dużo czasu, gdy wciąż jestem czujny, nie jest takie łatwe: P
Masse
2
@Jochen: Opisane tam obiektywy nie mają wiele wspólnego z obiektywami, o których mowa w tym pytaniu.
sclv
3
Oto ładne wprowadzenie za pomocą zdjęć: Obiektywy na zdjęciach .
Debjit

Odpowiedzi:

61

Obiektyw składa się z dwóch funkcji, gettera i setera:

data Lens a b = Lens { getter :: a -> b, setter :: b -> a -> a }

Na przykład możemy mieć soczewki dla pierwszej i drugiej części pary:

fstLens :: Lens (a, b) a
fstLens = Lens fst $ \x (a, b) -> (x, b)

sndLens :: Lens (a, b) b
sndLens = Lens snd $ \x (a, b) -> (a, x)

Prawdziwa wygoda soczewek polega na tym, że składają się:

compose :: Lens b c -> Lens a b -> Lens a c
compose f g = Lens (getter f . getter g) $
                   \c a -> setter g (setter f c (getter g a)) a

I mechanicznie przekształcają się w Stateprzejścia:

lensGet :: MonadState s m => Lens s a -> m a
lensGet = gets . getter

lensSet :: MonadState s m => Lens s b -> b -> m ()
lensSet f = modify . setter f

lensMod :: MonadState s m => Lens s b -> (b -> b) -> m ()
lensMod f g = modify $ setter f =<< g . getter f

(+=) :: (MonadState s m, Num b) => Lens s b -> b -> m ()
f += x = lensMod f (+ x)
Apocalisp
źródło
Twój przykład tworzenia wiadomości nie został sprawdzony. GHC wnioskuje; Lens aa -> Lens aa -> Lens aa
Masse
Masse: przypadkowo przerzuciłem fi g.
Apocalisp
Nadal nie wpisuje check w a-> c. Wynika z komponowania :: Lens ab -> Lens aa -> Lens ab
Masse.