Lentes funcionales

¿Alguien podría explicarme los lentes funcionales? Es un tema sorprendentemente difícil para Google y no he progresado. Todo lo que sé es que proporcionan una funcionalidad de obtención / configuración similar a la de OO.

haskell functional-programming lenses

— Misa
fuente

Hay una buena introducción a las lentes de Edward Kmett en YouTube. Los ejemplos están en Scala, pero no debería ser demasiado difícil de seguir.

— Hammar

Sí, intenté verlos, pero tener suficiente tiempo mientras todavía estoy alerta, no es tan fácil: P

— Masse

@Jochen: Los lentes descritos allí no tienen mucho en común con los lentes de los que trata esta pregunta.

— sclv

Aquí hay una buena introducción usando imágenes: Lentes en imágenes .

— Debjit el

Respuestas:

Una lente consta de dos funciones, una captadora y una fijadora:

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

Por ejemplo, podríamos tener lentes para la primera y 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 las 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 en Statetransiciones:

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)

— Apocalipsis
fuente

Su ejemplo de redacción no se revisó a máquina. GHC infiere; Lens aa -> Lens aa -> Lens aa

— Masse

Masse: accidentalmente volteé fy g.

— Apocalisp

Todavía no escribe check en a-> c. Se infiere en componer :: Lens ab -> Lens aa -> Lens ab

— Masse

Vea la respuesta a las preguntas sobre lentes, fclabels, data-accessor (qué biblioteca para el acceso a la estructura y la mutación es mejor ) tiene una explicación muy clara sobre los lentes.

Además, la documentación de las bibliotecas Data.Lenses y fclabel ofrece algunos buenos ejemplos de su uso.

— David Miani
fuente