Sciweavers

Share
PADL
2011
Springer

Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming

8 years 1 months ago
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t 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. nsion 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.
Tomas Petricek, Don Syme
Added 16 Sep 2011
Updated 16 Sep 2011
Type Journal
Year 2011
Where PADL
Authors Tomas Petricek, Don Syme
Comments (0)
books