Profunctor Optics: The Categorical Approach - Bartosz Milewskiby Bartosz Milewski 45:34 10717 views 99% Published 4 years ago
This presentation was the midday keynote of Lambda World 2017 by Bartosz Milewski.
-https://www.47deg.com/events for more details.
Haskell lens library offers fine-grain declarative access to immutable (persistent) data structures. Its main attraction is that it's compositional: you can focus on substructures of larger structures simply by composing polymorphic higher-order functions. Its most general formulation is known as profunctor optics. I'll talk about the categorical foundation of profunctor optics