Just do it: simple monadic equational reasoning
One of the appeals of pure functional programming is that it is so amenable to equational reasoning. One of the problems of pure functional programming is that it rules out computational effects. Moggi and Wadler showed how to get round this problem by using monads to encapsulate the effects, leadin...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
ACM
2011
|