功能性镜片

Question

有人可以向我解释一下功能性镜片吗？对于谷歌来说，这是一个令人惊讶的困难主题，而且我还没有取得任何进展。我所知道的是它们提供了与 OO 类似的获取/设置功能。

Answer 1

透镜由两个函数组成，一个 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

并且它们会机械地转换为 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)

Answer 2

请参阅问题的答案镜头、fclabels、数据-accessor - 哪个结构访问和突变库更好 - 它对镜头有非常清晰的解释。

此外，还有数据的文档。镜头和fclabel 库提供了一些很好的使用示例。