What you needa know about Yoneda: Profunctor optics and the Yoneda lemma

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 the familiar represent...

Olles dieđut

Bibliográfalaš dieđut
Váldodahkkit: Boisseau, G, Gibbons, J
Materiálatiipa: Journal article
Almmustuhtton: Association for Computing Machinery 2018
Fáttát: