有人可以向我解释一下功能性镜片吗?对于谷歌来说,这是一个令人惊讶的困难主题,而且我还没有取得任何进展。我所知道的是它们提供了与 OO 类似的获取/设置功能。</p>
最佳答案
透镜由两个函数组成:getter 和 setter:
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
它们会自动转换为状态
转换:
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)
关于haskell - 功能性镜片,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/8307370/