tues: Profunctor Optics

Profunctor Optics: Modular Data Acccessors

https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/poptics.pdf

Experimental Implementation

https://github.com/tues/scala-profunctor-optics-playground

Generic profunctor optics

Lens

Prism

Examples

PiOne

FunList

Additional Reading

• https://twanvl.nl/blog/haskell/non-regular1
• http://www.cs.ioc.ee/~tarmo/papers/aplas05.pdf "General stream functions Str A → Str B are thus in natural bijection with maps Nat ⇒ A → Nat ⇒ B, which, in turn, are in natural bijection with maps (Nat ⇒ A) × Nat → B, i.e., FunArg Nat A → B where FunArg S A = (S ⇒ A) × S."
• https://www.schoolofhaskell.com/school/to-infinity-and-beyond/pick-of-the-week/cellular-automata Relation between FunList, Bazaar and Store comonad
• https://stackoverflow.com/questions/44310458/what-are-simple-definitions-for-control-lens-traversals-partsof-holesof-and-si