Conference item icon

Conference item

Tracing monadic computations and representing effects

Abstract:

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 monad transformers that add the ability to automatically accumulate observations about the course of execution as an effect. We discover that if we treat the resulting trace as the actual result of...

Expand abstract

Actions


Access Document


Files:
Publisher copy:
10.4204/EPTCS.76.8

Authors


Maciej Pirog More by this author
More by this author
Institution:
University of Oxford
Department:
Mathematical, Physical and Life Sciences Division - Department of Computer Science
Publisher:
Open Publishing Association
Volume:
76
Publication date:
2012
DOI:
URN:
uuid:4c3343b6-5749-454c-8524-3d296f928b98
Local pid:
cs:5605

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP