Profunctor Optics: The Categorical Approach - Bartosz Milewski

by Bartosz Milewski 45:34 10717 views 99% Published 4 years ago

This presentation was the midday keynote of Lambda World 2017 by Bartosz Milewski.

Follow:
-https://www.twitter.com/47deg
-https://www.twitter.com/lambda_world
-https://twitter.com/BartoszMilewski

Visit:
-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



Watch on YouTube





Lambda World 2017


Lambda World 2017

From 26/10/2017 to 27/10/2017 in Cádiz, Spain