We know that monads come from adjunctions (and this was discussed on SO too). The usual monads in programming use come from well-known adjunctions. So where does the Tardis monad come from? (RevState would be nice to know about too).
Asked
Active
Viewed 278 times
9
Jacques Carette
- 3,052
- 1
- 22
- 28
-
I strongly suspect `RevState` will be an adjunction between **Hask** and **Hask**Op. – leftaroundabout Mar 28 '19 at 12:56