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...
| Հիմնական հեղինակներ: | , |
|---|---|
| Ձևաչափ: | Journal article |
| Հրապարակվել է: |
Association for Computing Machinery
2018
|
| Խորագրեր: |