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...
| Հիմնական հեղինակներ: | , , , , |
|---|---|
| Ձևաչափ: | Conference item |
| Հրապարակվել է: |
2014
|