research-article

Concurrent orchestration in Haskell

Authors:

John Launchbury,

Trevor ElliottAuthors Info & Claims

Haskell '10: Proceedings of the third ACM Haskell symposium on Haskell

Pages 79 - 90

https://doi.org/10.1145/1863523.1863534

Published: 30 September 2010 Publication History

Get Access

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.

Supplementary Material

JPG File (haskell-1355-launchbury.jpg)

Download
10.41 KB

MOV File (haskell-1355-launchbury.mov)

Download
118.91 MB

References

[1]

}}M. D. Campos, and L. S. Barbosa, Implementation of an Orchestration Language as a Haskell Domain Specific Language. Electronic Notes in Theoretical Computer Science, Volume 255, Nov 2009

Digital Library

Google Scholar

[2]

}}I. Diatchki. MonadLib http://www.purely-functional.net/monadLib

Google Scholar

[3]

}}C. Elliott and P. Hudak, Functional Reactive Animation. ACM Conference on International Conference on Functional Programming (ICFP), 1997.

Digital Library

Google Scholar

[4]

}}M. Flatt, R. Findler, S. Krishnamurthi, and M. Felleisen Programming Languages as Operating Systems (or, Revenge of the Son of the Lisp Machine). In: ACM SIGPLAN International Conference on Functional Programming, ICFP 1999

Digital Library

Google Scholar

[5]

}}T. Harris, S. Marlow, S. Peyton Jones, and M. Herlihy. Composable Memory Transactions. ACM Conference on Principles and Practice of Parallel Programming (PPoPP), 2005.

Digital Library

Google Scholar

[6]

}}D. Kitchin, A User's Guide To Orc. http://orc.csres.utexas.edu/userguide.pdf

Google Scholar

[7]

}}D. Kitchin, A. Quark, W. Cook and J. Misra. The Orc Programming Language. Proceedings of FMOODS/FORTE, Springer Verlag, LNCS 5522, 2009.

Digital Library

Google Scholar

[8]

}}O. Kiselyov, C. Shan, D. Friedman, and A. Sabry. Backtracking, interleaving, and terminating monad transformers. In: ACM SIGPLAN international conference on Functional programming (ICFP), 2005.

Digital Library

Google Scholar

[9]

}}J. Misra and W. Cook. Computation Orchestration: A Basis for Wide-Area Computing. Journal of Software and Systems Modeling, March 2007

Google Scholar

[10]

}}S. Marlow, S. Peyton Jones, A. Moran, and J. Reppy. Asynchronous Exceptions in Haskell. In ACM Conference on Programming Languages Design and Implementation, PLDI 2001.

Digital Library

Google Scholar

Cited By

View all

Fernandez-Reyes KClarke DMcCain D(2016)ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline ComputationsCoordination Models and Languages10.1007/978-3-319-39519-7_7(101-120)Online publication date: 24-May-2016
https://doi.org/10.1007/978-3-319-39519-7_7
Petricek T(2012)Evaluation strategies for monadic computationsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.76.776(68-89)Online publication date: 11-Feb-2012
https://doi.org/10.4204/EPTCS.76.7
Edelmann RBliudze SSifakis J(2017)Functional BIP: Embedding connectors in functional programming languagesJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2017.06.00392(19-44)Online publication date: Nov-2017
https://doi.org/10.1016/j.jlamp.2017.06.003
Show More Cited By

Index Terms

Concurrent orchestration in Haskell
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Concurrent programming structures

Recommendations

Concurrent orchestration in Haskell
HASKELL '10

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 ...
Polymonad programming in Haskell
IFL '15: Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages

Polymonads were recently introduced by Hicks et al. as a unified approach to programming with different notions of monads. Their work was mainly focused on foundational aspects of the approach. In this article, we show how to incorporate the notion of ...
Implementation of an Orchestration Language as a Haskell Domain Specific Language

Even though concurrent programming has been a hot topic of discussion in Computer Science for the past 30 years, the community has yet to settle on a, or a few standard approaches to implement concurrent programs. But as more and more cores inhabit our ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Haskell '10: Proceedings of the third ACM Haskell symposium on Haskell

September 2010

166 pages

ISBN:9781450302524

DOI:10.1145/1863523

General Chair:
Jeremy Gibbons
University of Oxford, UK

ACM SIGPLAN Notices Volume 45, Issue 11
HASKELL '10
November 2010
156 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/2088456
Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 30 September 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICFP '10

Sponsor:

SIGPLAN

ICFP '10: ACM SIGPLAN International Conference on Functional Programming

September 30, 2010

Maryland, Baltimore, USA

Acceptance Rates

Overall Acceptance Rate 57 of 143 submissions, 40%

Upcoming Conference

ICFP '25

Sponsor:
sigplan

ACM SIGPLAN International Conference on Functional Programming

October 12 - 18, 2025

Singapore , Singapore

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
265
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 21 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Fernandez-Reyes KClarke DMcCain D(2016)ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline ComputationsCoordination Models and Languages10.1007/978-3-319-39519-7_7(101-120)Online publication date: 24-May-2016
https://doi.org/10.1007/978-3-319-39519-7_7
Petricek T(2012)Evaluation strategies for monadic computationsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.76.776(68-89)Online publication date: 11-Feb-2012
https://doi.org/10.4204/EPTCS.76.7
Edelmann RBliudze SSifakis J(2017)Functional BIP: Embedding connectors in functional programming languagesJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2017.06.00392(19-44)Online publication date: Nov-2017
https://doi.org/10.1016/j.jlamp.2017.06.003
Fernandez-Reyes KClarke DMcCain D(2016)ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline ComputationsCoordination Models and Languages10.1007/978-3-319-39519-7_7(101-120)Online publication date: 24-May-2016
https://doi.org/10.1007/978-3-319-39519-7_7

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Concurrent orchestration in Haskell

Polymonad programming in Haskell

Implementation of an Orchestration Language as a Haskell Domain Specific Language