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

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

haskell functional-programming lenses

— Массажа
источник

На YouTube есть хорошее введение в линзы Эдварда Кметта. Примеры приведены на Scala, но следовать им не составит труда.

— hammar

Ага, пытался их посмотреть, но у меня было достаточно времени, пока я все еще начеку, это не так просто: P

— Masse

@Jochen: Описанные здесь линзы на самом деле не имеют ничего общего с линзами, о которых идет речь.

— sclv

Вот хорошее введение с использованием изображений: Линзы в картинках .

— Debjit 03

Ответы:

Линза состоит из двух функций: геттера и сеттера:

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)

— Апокалисп
источник

Ваш пример создания не прошел проверку типа. GHC делает вывод; Lens aa -> Lens aa -> Lens aa

— Masse

Масс: Я случайно щелкнул fи g.

— Apocalisp

Он по-прежнему не проверяет ввод a-> c. Это означает compose :: Lens ab -> Lens aa -> Lens ab

— Masse

См. Ответ на вопрос: линзы, метки, средства доступа к данным - какая библиотека для доступа к структурам и мутации лучше - там очень четкое объяснение линз.

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

— Дэвид Миани
источник