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...
| Үндсэн зохиолчид: | , |
|---|---|
| Формат: | Conference item |
| Хэвлэсэн: |
Open Publishing Association
2012
|