Функциональные линзы

может кто-нибудь объяснить мне функциональные линзы? Это удивительно сложная тема для google, и я не добился никакого прогресса. Все, что я знаю, это то, что они обеспечивают аналогичную функциональность get/set, чем в OO.

2 74
haskell functional-programming lenses

2 ответа:

объектив состоит из двух функций, геттер и сеттер:

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

например, у нас могут быть линзы для первой и второй частей пары:

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)

реальное удобство линз заключается в том, что они составляют:

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

и они механически преобразуются в 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)
57

ответ на вопрос линзы, fclabels, Data-accessor-какая библиотека для доступа к структуре и мутации лучше - это имеет очень четкое объяснение на линзы.

кроме того, документация данные.Линзы и fclabel библиотеки дать некоторые хорошие примеры их использования.

12