Entangled State Monads
We present a monadic treatment of symmetric state-based bidirectional transformations, and show how it arises naturally from the well-known asymmetric lens-based account. We introduce two presentations of a concept we dub the \"entangled\" state monad, and prove their equivalence. As a ste...
| Hoofdauteurs: | , , , , |
|---|---|
| Formaat: | Conference item |
| Gepubliceerd in: |
2014
|