DontFearTheProfunctorOptics Alternatives

DontFearTheProfunctorOptics reviews and mentions

• Tying lenses by their focuses
  4 projects | /r/haskell | 1 May 2022

  It’s worth pointing out there are a few different ways to represent optics. The main ideas you’re playing around with would probably be cleared up by digging into category theory a bit as when you start to understand it it will click. Optics are a concrete implementation that you can use immediately as getters and setters without much background but there potential really lies in their categorical underpinnings that when used properly you can do some very interesting things like allowing local actions to pull back and be ran in a composed global state. Composition is tricky with our implementations though. https://github.com/kvwatkins/Kinds/blob/main/Kinds.Optics.Concrete/Concrete.fs this is your concrete composition for your optics (in fhsharp) you’ll notice the weird affineish optic in there that you don’t normally see that’s what will allow mixed concrete optics to compose cleanly. Profunctor optics are another representation if you dig into will clear things up. https://github.com/hablapps/DontFearTheProfunctorOptics/blob/master/Optics.md is a great read they have more flexible composition which is both a good and bad thing and is still debated. But understanding them and the notions of profunctor a in general applied to a domain will align your current natural intuition with the under pinnings.

  4 projects | /r/haskell | 1 May 2022

  Profunctor optics and the journey to learn the differences between the representations will clear things up. https://github.com/hablapps/DontFearTheProfunctorOptics/blob/master/Optics.md is a great read. The Profunctor have more flexible composition which is both a good and bad thing and is still debated. But understanding them and the notions of Profunctors generally applied to a domain will align your current natural intuition.