Tracing monadic computations and representing effects

Details Tracing monadic computations and representing effects Tracing monadic computations and representing effects

2012-02-14

arxiv.org/abs/1202.2922v1

EPTCS 76, 2012, pp. 90-111

Computer Science

Programming Languages

In Proceedings MSFP 2012, arXiv:1202.2407

Scientific paper

10.4204/EPTCS.76.8

In functional programming, monads are supposed to encapsulate computations, effectfully producing the final result, but keeping to themselves the means of acquiring it. 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 the computation, we can find new functionality in existing monads, notably when working with non-terminating computations.

Affiliated with

Also associated with

No associations

Rating

Tracing monadic computations and representing effects does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Tracing monadic computations and representing effects, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Tracing monadic computations and representing effects will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-88580