The F# asynchronous programming model

Authors:
Don Syme;Tomas Petricek;Dmitry Lomov
Affiliations:
Microsoft Research, Cambridge, United Kingdom;Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic;Microsoft Corporation, Redmond, WA
Venue:
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Year:
2011

Citing 15
Cited 14

Actors: a model of concurrent computation in distributed systems

Actors: a model of concurrent computation in distributed systems
The ESTEREL synchronous programming language: design, semantics, implementation

Science of Computer Programming
Concurrent programming in ERLANG (2nd ed.)

Concurrent programming in ERLANG (2nd ed.)
On the duality of operating system structures

ACM SIGOPS Operating Systems Review
LINQ: reconciling object, relations and XML in the .NET framework

Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Why events are a bad idea (for high-concurrency servers)

HOTOS'03 Proceedings of the 9th conference on Hot Topics in Operating Systems - Volume 9
Aspects of Applicative Programming for Parallel Processing

IEEE Transactions on Computers
A timed semantics of Orc

Theoretical Computer Science
Kilim: Isolation-Typed Actors for Java

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Scala Actors: Unifying thread-based and event-based programming

Theoretical Computer Science
Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
The multikernel: a new OS architecture for scalable multicore systems

Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
Real World Functional Programming: With Examples in F# and C#

Real World Functional Programming: With Examples in F# and C#
Delimited control in OCaml, abstractly and concretely: system description

FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming

AC: composable asynchronous IO for native languages

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Avalanche: a fine-grained flow graph model for irregular applications on distributed-memory systems

Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing
A meta-scheduler for the par-monad: composable scheduling for the heterogeneous cloud

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Pause 'n' play: formalizing asynchronous C#

ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
Lightweight polymorphic effects

ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
Programming parallelism with futures in lustre

Proceedings of the tenth ACM international conference on Embedded software
Molecule: using monadic and streaming I/O to compose process networks on the JVM

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach

Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Themes in information-rich functional programming for internet-scale data sources

DDFP '13 Proceedings of the 2013 workshop on Data driven functional programming
TigerQuoll: parallel event-based JavaScript

Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming
Feel different on the Java platform: the star programming language

Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools
MBrace: cloud computing with monads

Proceedings of the Seventh Workshop on Programming Languages and Operating Systems
QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Feature engineering for semantic place prediction

Pervasive and Mobile Computing

Quantified Score

Hi-index	0.00

Visualization

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#.