Jeremy Gibbons

What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl)

2018 · Proceedings of the ACM on Programming Languages

Profunctor optics are a neat and composable representation of bidirectional data accessors, including lenses, and their dual, prisms. The profunctor representation exploits higher-order functions and higher-kinded type constructor classes, but the relationship between this and …