web-dev-qa-db-fra.com

Verres fonctionnels

Quelqu'un pourrait-il m'expliquer des lentilles fonctionnelles? C'est un sujet étonnamment difficile à google et je n'ai fait aucun progrès. Tout ce que je sais, c'est qu'ils fournissent des fonctionnalités get/set similaires à celles d'OO.

haskellfunctional-programminglenses
79
Masse

Un objectif 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'elles 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 en 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)
60
Apocalisp

Voir la réponse à la question lentilles, fclabels, accesseur de données - quelle bibliothèque pour l'accès à la structure et la mutation est meilleure - il a une explication très claire sur les lentilles.

De plus, la documentation des bibliothèques Data.Lenses et fclabel en donne de bons exemples.

12
David Miani