Als «monocle-scala» getaggte Fragen

Viele Arten von Optiken haben eine Van-Laarhoven-Darstellung. Beispielsweise kann ein LensTyp Lens s t a b wie folgt dargestellt werden: Functor f => (a -> f b) -> s -> f t In Traversalähnlicher Weise kann a auf ähnliche Weise dargestellt werden, wobei die FunctorEinschränkung gegen Folgendes ausgetauscht wird Applicative: …

15 scala  haskell  functional-programming  lenses  monocle-scala