The F# Asynchronous Programming Model

Title:

The F# Asynchronous Programming Model

Authors:

D. Syme, T. Petříček, D. Lomov

Publication:

Practical Aspects of Declarative Languages

DOI:

Year:

2011

ISBN:

978-3-642-18378-2

Abstract:

We describe the asynchronous programming model in F#, and its applications to reactive, parallel and concurrent programming. The key feature combines a core language with a non-blocking modality to author lightweight asynchronous tasks, where the modality has control flow constructs that are syntactically a superset of the core language and are given an asynchronous semantic interpretation. This allows smooth transitions between synchronous and asynchronous code and eliminates callback-style treatments of inversion of control, without disturbing the foundation of CPU-intensive programming that allows F# to interoperate smoothly and compile efficiently. An adapted version of this approach has recently been announced for a future version of C#.

BibTeX:

@inproceedings{syme_f_2011,
    title = {{The F\# Asynchronous Programming Model}},
    author = {Syme, Don and Petricek, Tomas and Lomov, Dmitry},
    year = {2011},
    booktitle = {{Practical Aspects of Declarative Languages}},
    editor = {Rocha, Ricardo and Launchbury, John},
    publisher = {Springer},
    series = {{Lecture Notes in Computer Science}},
    location = {Berlin, Heidelberg},
    doi = {10.1007/978-3-642-18378-2_15},
    isbn = {978-3-642-18378-2},
    pages = {175--189},
}