Profunctor Optics: The Categorical Approach - Bartosz Milewski

This presentation was the midday keynote of Lambda World 2017 by Bartosz Milewski.
Follow:
- / 47deg
- / lambda_world
- / bartoszmilewski
Visit:
-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