Bartosz Milewski at Lambda World 2017
Profunctor Optics: The Categorical Approach
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.
Subscribe to the Lambda World YouTube channel to be updated when new videos are added.