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

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


functional-programming haskell lenses
person Masse    schedule 29.11.2011    source источник
comment
На YouTube есть хорошее введение в линзы Эдварда Кметта. Примеры написаны на Scala, но их не должно быть слишком сложно понять.   -  person hammar    schedule 29.11.2011
comment
Ага, пытался смотреть их, но иметь достаточно времени, пока я все еще в сознании, не так просто :P   -  person Masse    schedule 29.11.2011
comment
@Jochen: Объективы, описанные там, на самом деле не имеют много общего с объективами, о которых идет речь.   -  person sclv    schedule 29.11.2011
comment
Вот хорошее введение с картинками: Lenses in Pictures .   -  person Debjit    schedule 03.03.2015

Ответы (2)


arrow_upward
62
arrow_downward

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

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)
person Apocalisp    schedule 29.11.2011
comment
Ваш пример создания не прошел проверку типов. GHC делает вывод; Объектив a a -> Объектив a a -> Объектив a a - person Masse; 30.11.2011
comment
Массе: Я случайно перепутал f и g. - person Apocalisp; 30.11.2011
comment
Он по-прежнему не печатает check в a-›c. Это приводит к составлению :: Lens a b -> Lens a a -> Lens a b - person Masse; 30.11.2011

arrow_upward
12
arrow_downward

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

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

person David Miani    schedule 29.11.2011