haskell - Lentes funcionales
functional-programming lenses (2)
¿Podría alguien explicarme lentes funcionales? Es un tema sorprendentemente difícil para google y no he hecho ningún progreso. Todo lo que sé es que proporcionan una funcionalidad get / set similar a la de OO.
Consulte la respuesta a las lentes de consulta, fclabels, acceso a los datos, qué biblioteca para el acceso a la estructura y la mutación es mejor , tiene una explicación muy clara de los objetivos.
Además, la documentación de las bibliotecas de Data.Lenses y fclabel proporciona algunos buenos ejemplos de su uso.
Una lente consta de dos funciones, un captador y un colocador:
data Lens a b = Lens { getter :: a -> b, setter :: b -> a -> a }
Por ejemplo, podríamos tener lentes para la primera y la segunda parte de un par:
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 verdadera conveniencia de los lentes es que componen:
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
Y se convierten mecánicamente a transiciones de 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)