Monads have been employed in programming languages for modeling various language features, most importantly those that involve side effects. In particular, Haskell's IO monad provides access to I/O operations and mutable variables, without compromising referential transparency. Cyclic definitions that involve monadic computations give rise to the concept of value-recursion, where the fixed-point computation takes place only over the values, without repeating or losing effects. In this paper, we describe a semantics for a lazy language based on Haskell, supporting monadic I/O, mutable variables, usual recursive definitions, and value recursion. Our semantics is composed of two layers: a natural semantics for the functional layer, and a labeled transition semantics for the IO layer.
Erkök, Levent ; Launchbury, John ; Moran, Andrew 1
@article{ITA_2002__36_2_155_0,
author = {Erk\"ok, Levent and Launchbury, John and Moran, Andrew},
title = {Semantics of value recursion for monadic input/output},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {155--180},
year = {2002},
publisher = {EDP-Sciences},
volume = {36},
number = {2},
doi = {10.1051/ita:2002008},
mrnumber = {1948767},
zbl = {1011.68017},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.1051/ita:2002008/}
}
TY - JOUR AU - Erkök, Levent AU - Launchbury, John AU - Moran, Andrew TI - Semantics of value recursion for monadic input/output JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2002 SP - 155 EP - 180 VL - 36 IS - 2 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/articles/10.1051/ita:2002008/ DO - 10.1051/ita:2002008 LA - en ID - ITA_2002__36_2_155_0 ER -
%0 Journal Article %A Erkök, Levent %A Launchbury, John %A Moran, Andrew %T Semantics of value recursion for monadic input/output %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2002 %P 155-180 %V 36 %N 2 %I EDP-Sciences %U http://geodesic.mathdoc.fr/articles/10.1051/ita:2002008/ %R 10.1051/ita:2002008 %G en %F ITA_2002__36_2_155_0
Erkök, Levent; Launchbury, John; Moran, Andrew. Semantics of value recursion for monadic input/output. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 36 (2002) no. 2, pp. 155-180. doi: 10.1051/ita:2002008
Cité par Sources :