Может ли кто-нибудь объяснить мне функциональные линзы? Это удивительно сложная тема для Google, и я не добился никакого прогресса. Все, что я знаю, это то, что они предоставляют ту же функциональность, что и в OO.
haskell
functional-programming
lenses
Массажа
источник
источник
Ответы:
Линза состоит из двух функций: геттера и сеттера:
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)источник
fиg.См. Ответ на вопрос: линзы, метки, средства доступа к данным - какая библиотека для доступа к структурам и мутации лучше - там очень четкое объяснение линз.
Кроме того, в документации к библиотекам Data.Lenses и fclabel приводятся хорошие примеры их использования.
источник