web-dev-qa-db-ja.com

機能性レンズ

誰かが私に機能的なレンズを説明できますか？グーグルの対象となるのは驚くほど難しい問題であり、私は何も進歩していません。私が知っているのは、それらがオブジェクト指向と同様のget/set機能を提供することです。

haskellfunctional-programminglenses
77
Masse

レンズは、ゲッターとセッターの2つの機能で構成されています。

data Lens a b = Lens { getter :: a -> b, setter :: b -> a -> a }

たとえば、ペアの最初と2番目の部分にレンズがある場合があります。

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)
60
Apocalisp

質問への回答を参照してください レンズ、fclabels、データアクセサー-構造アクセスと突然変異のためのライブラリの方が良い -レンズに関する非常に明確な説明があります。

また、 Data.Lenses および fclabel ライブラリのドキュメントには、それらが使用されている良い例がいくつかあります。

12
David Miani