objectifs fonctionnels
-
25-10-2019 - |
Question
Quelqu'un pourrait-il expliquer les objectifs fonctionnels pour moi? Il est un sujet étonnamment difficile à Google et je n'ai pas fait de progrès. Tout savoir I est qu'ils fournissent get / fonctionnalité jeu similaire que dans OO.
La solution
Une lentille se compose de deux fonctions, un getter et un setter:
data Lens a b = Lens { getter :: a -> b, setter :: b -> a -> a }
Par exemple, nous pourrions avoir des lentilles pour les première et deuxième parties d'une paire:
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)
La vraie commodité des lentilles est qu'ils composent:
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
Et ils convertissent mécaniquement aux transitions State
:
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)
Autres conseils
Voir la réponse à la question des lentilles , fclabels, données accesseur - quelle bibliothèque pour l'accès à la structure et la mutation est meilleure. - il a une explication très claire sur les objectifs
En outre, la documentation du Data.Lenses et fclabel bibliothèques donnent quelques bons exemples d'entre eux étant utilisés.