Ống kính chức năng

Question

Ai đó có thể giải thích các ống kính chức năng cho tôi? Đó là một chủ đề khó khăn đáng ngạc nhiên đối với google và tôi đã không thực hiện bất kỳ tiến bộ nào. Tất cả những gì tôi biết là chúng cung cấp chức năng get/set tương tự như trong OO.

Answer 1

Một ống kính bao gồm hai chức năng, một getter và setter:

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

Ví dụ, chúng ta có thể có ống kính cho các bộ phận đầu tiên và thứ hai của một cặp:

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) 

Các thực sự tiện lợi của ống kính là chúng sáng tác:

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 

Và chúng chuyển đổi thành State chuyển tiếp:

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

Xem câu trả lời cho câu hỏi lenses, fclabels, data-accessor - which library for structure access and mutation is better - nó có giải thích rõ ràng về thấu kính.

Ngoài ra, tài liệu cho thư viện Data.Lenses và fclabel cung cấp một số ví dụ điển hình về chúng đang được sử dụng.