skip to main content
research-article

Concurrent orchestration in Haskell

Published:30 September 2010Publication History
Skip Abstract Section

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.

Skip Supplemental Material Section

Supplemental Material

haskell-1355-launchbury.mov

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 Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. }}I. Diatchki. MonadLib http://www.purely-functional.net/monadLibGoogle ScholarGoogle Scholar
  3. }}C. Elliott and P. Hudak, Functional Reactive Animation. ACM Conference on International Conference on Functional Programming (ICFP), 1997. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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 Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. }}D. Kitchin, A User's Guide To Orc. http://orc.csres.utexas.edu/userguide.pdfGoogle ScholarGoogle Scholar
  7. }}D. Kitchin, A. Quark, W. Cook and J. Misra. The Orc Programming Language. Proceedings of FMOODS/FORTE, Springer Verlag, LNCS 5522, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. }}J. Misra and W. Cook. Computation Orchestration: A Basis for Wide-Area Computing. Journal of Software and Systems Modeling, March 2007Google ScholarGoogle 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. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Concurrent orchestration in Haskell

    Recommendations

    Comments

    Login options

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

    Sign in

    Full Access

    • Published in

      cover image ACM SIGPLAN Notices
      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
      • cover image ACM Conferences
        Haskell '10: Proceedings of the third ACM Haskell symposium on Haskell
        September 2010
        166 pages
        ISBN:9781450302524
        DOI:10.1145/1863523

      Copyright © 2010 ACM

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 30 September 2010

      Check for updates

      Qualifiers

      • research-article

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!