Funktionslinsen

Könnte mir jemand Funktionslinsen erklären? Es ist ein überraschend schwieriges Thema für Google und ich habe keine Fortschritte gemacht. Ich weiß nur, dass sie ähnliche Get / Set-Funktionen bieten wie in OO.

haskell functional-programming lenses

— Masse
quelle

Es gibt eine schöne Einführung in Objektive von Edward Kmett auf YouTube. Die Beispiele sind in Scala, aber es sollte nicht zu schwer sein, zu folgen.

— Hammar

Ja, versucht, diese zu sehen, aber genug Zeit zu haben, während ich noch wachsam bin, ist nicht so einfach: P

— Masse

@Jochen: Die dort beschriebenen Objektive haben nicht wirklich viel mit den Objektiven zu tun, um die es in dieser Frage geht.

— sclv

Hier ist eine schöne Einführung mit Bildern: Objektive in Bildern .

— Debjit

Antworten:

Ein Objektiv besteht aus zwei Funktionen, einem Getter und einem Setter:

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

Zum Beispiel könnten wir Linsen für den ersten und zweiten Teil eines Paares haben:

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)

Der wahre Komfort von Objektiven besteht darin, dass sie Folgendes zusammensetzen:

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

Und sie wandeln sich mechanisch in StateÜbergänge um:

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)

— Apocalisp
quelle

Ihr komponiertes Beispiel hat nicht typecheck. GHC schließt daraus; Objektiv aa -> Objektiv aa -> Objektiv aa

— Masse

Masse: Ich habe versehentlich das fund umgedreht g.

— Apocalisp

Check wird immer noch nicht in a-> c eingegeben. Daraus folgt: Lens ab -> Lens aa -> Lens ab

— Masse

Siehe die Antwort auf Frage Linsen, Fclabels, Datenzugriff - welche Bibliothek für Strukturzugriff und Mutation besser ist - es gibt eine sehr klare Erklärung zu Linsen.

In der Dokumentation zu den Data.Lenses- und fclabel- Bibliotheken finden Sie einige gute Beispiele für deren Verwendung.

— David Miani
quelle