Tracing monadic computations and representing effects
In functional programming, monads are supposed to encapsulate computations, effectfully producing the final result, but keeping the means of acquiring it to themselves. For various reasons, we sometimes want to reveal the internals of a computation. To make that possible, in this paper we introduce...
| Main Authors: | , |
|---|---|
| 格式: | Conference item |
| 出版: |
Open Publishing Association
2012
|