Evaluation strategies for monadic computations
Monads have become a powerful tool for structuring effectful computations in functional programming, because they make the order of effects explicit. When translating pure code to a monadic version, we need to specify evaluation order explicitly. Two standard translations give call-by-value and call...
Main Author: | Tomas Petricek |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2012-02-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1202.2921v1 |
Similar Items
-
Corecursive Algebras, Corecursive Monads and Bloom Monads
by: Jiří Adámek, et al.
Published: (2014-09-01) -
Tracing monadic computations and representing effects
by: Pirog, M, et al.
Published: (2012) -
Monads for behaviour
by: Piróg, M, et al.
Published: (2013) -
Notions of Bidirectional Computation and Entangled State Monads
by: Abou-Saleh, F, et al.
Published: (2015) -
Of Tactics and Monads
by: Martin, A
Published: (1996)