Haskell 功能镜片

有人能给我解释一下功能镜片吗？对于谷歌来说，这是一个令人惊讶的难题，我还没有取得任何进展。我所知道的是，它们提供了与OO中类似的get/set功能。

参见问题的答案-它对镜头有非常清晰的解释

---

此外，和库的文档提供了一些使用它们的好例子。

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

lensGet:：MonadState s m=>Lens s a->m a
lensGet=get。吸气剂
镜头集：：单子状态SM=>镜头SB->b->m（）
透镜组f=修改。塞特f
lensMod:：MonadState s m=>Lens s b->（b->b）->m（）
lensMod f g=修改$setter f=镜头s b->b->m（）
f+=x=lensMod f（+x）

YouTube上有Edward Kmett的作品。示例在Scala中，但应该不难理解。是的，我试着观察这些，但在我保持警惕的时候有足够的时间，并不是那么容易：P@Jochen：此处描述的镜头与此问题涉及的镜头没有太多共同之处。下面是使用图片的精彩介绍：。您的合成示例没有进行打字检查。GHC推断；镜头a->镜头a->镜头a：我不小心把

f

和

g

翻了个底朝天。它仍然没有在a->c中键入check。它推断为组合：：镜头a b->镜头a a->镜头a b