Joinads a retargetable control-flow construct for reactive, parallel and concurrent programming
Tomas Petricek and Don Syme
In Proceedings of PADL 2011
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often difficult to encode in general purpose languages. We present an abstract type of computations called joinads together with a syntactic language extension that aims to make it easier to use joinads in modern functional languages.
Our extension generalizes pattern matching to work on abstract computations. It keeps a familiar syntax and semantics of pattern matching making it easy to reason about code, even in a non-standard programming model. We demonstrate our extension using three important programming models – a reactive model based on events; a concurrent model based on join calculus and a parallel model using futures. All three models are implemented as libraries that benefit from our syntactic extension. This makes them easier to use and also opens space for exploring new useful programming models.
Paper and more information
- Download the paper (PDF)
- View slides from PADL 2011 (PDF)
- Get the prototype implementation
- Watch a talk about earlier version
This paper presents the original version of joinads in F#. There is also a newer version (implemented in Haskell) that is more theoretically oriented and discusses reasoning about joinads in more details. The main differences are that the updated version requires all joinads to be monads (which is more restrictive) and it is translated in terms of simpler operations. See Extending Monads with Pattern Matching for more information.
Try Joinads is a web site, using the open-source release of F#, that implements the joinads extension for F#. It comes with an browser-based F# console where you can experiment with joinads and numerous tutorials that demonstrate the usfulness of joinads. Tutorials include asynchronous, parallel and concurrent programming as well as parsing.
- Visit the Try Joinads web site!
If you want to cite the paper, you can use the following BibTeX information, or get full details from the paper page on ACM.
1: 2: 3: 4: 5: 6: 7: 8: 9:
Published: Thursday, 20 January 2011, 12:00 AM
Author: Tomas Petricek
Typos: Send me pull request!