Concurrent orchestration in Haskell

Authors:
John Launchbury;Trevor Elliott
Affiliations:
Galois, Inc., Portland, OR, USA;Galois, Inc., Portland, OR, USA
Venue:
Proceedings of the third ACM Haskell symposium on Haskell
Year:
2010

Citing 7
Cited 1

Functional reactive animation

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Programming languages as operating systems (or revenge of the son of the lisp machine)

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Asynchronous exceptions in Haskell

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Composable memory transactions

Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
Backtracking, interleaving, and terminating monad transformers: (functional pearl)

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
The Orc Programming Language

FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Implementation of an Orchestration Language as a Haskell Domain Specific Language

Electronic Notes in Theoretical Computer Science (ENTCS)

Purely functional lazy nondeterministic programming

Journal of Functional Programming - Dedicated to ICFP 2009

Quantified Score

Hi-index	0.01

Visualization

Abstract

We present a concurrent scripting language embedded in Haskell, emulating the functionality of the Orc orchestration language by providing many-valued (real) non-determinism in the context of concurrent effects. We provide many examples of its use, as well as a brief description of how we use the embedded Orc DSL in practice. We describe the abstraction layers of the implementation, and use the fact that we have a layered approach to demonstrate algebraic properties satisfied by the combinators.