A Recursive do for Haskell (2002) [8 citations — 1 self]
by
Levent Erkök
,
John Launchbury
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@MISC{Erkök02arecursive,
author = {Levent Erkök and John Launchbury},
title = {A Recursive do for Haskell},
year = {2002}
}
author = {Levent Erkök and John Launchbury},
title = {A Recursive do for Haskell},
year = {2002}
}
Bookmarks
OpenURL
Abstract:
Certain programs making use of monads need to perform recursion over the values of monadic actions. Although the do-notation of Haskell provides a convenient framework for monadic programming, it lacks the generality to support such recursive bindings. In this paper, we describe an enhanced translation schema for the donotation and its integration into Haskell. The new translation allows variables to be bound recursively, provided the underlying monad comes equipped with an appropriate fixed-point operator.
