Profunctor optics, a categorical update
Optics are bidirectional data accessors that capture data transformation patterns such as accessing subfields or iterating over containers. Profunctor optics are a particular choice of representation supporting modularity, meaning that we can construct accessors for complex structures by combining s...
| Autori principali: | , , , , , , |
|---|---|
| Natura: | Journal article |
| Lingua: | English |
| Pubblicazione: |
Compositionality
2024
|