Name
Abstract | ||
|---|---|---|
Algebraic effects and their handlers have been steadily gaining attention as a programming language feature for composably expressing user-defined computational effects. While several prototype implementations of languages incorporating algebraic effects exist, Multicore OCaml incorporates effect handlers as the primary means of expressing concurrency in the language. In this paper, we make the observation that effect handlers can elegantly express particularly difficult programs that combine system programming and concurrency without compromising performance. Our experimental results on a highly concurrent and scalable web server demonstrate that effect handlers perform on par with highly optimised monadic concurrency libraries, while retaining the simplicity of direct-style code. |
Year | DOI | Venue |
|---|---|---|
2017 | 10.1007/978-3-319-89719-6_6 | Lecture Notes in Computer Science |
Field | DocType | Volume |
System programming,Programming language,Algebraic number,Computer science,Concurrency,Implementation,Multi-core processor,Monad (functional programming),Web server,Scalability | Conference | 10788 |
ISSN | Citations | PageRank |
0302-9743 | 2 | 0.37 |
References | Authors | |
15 | 6 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Stephen Dolan | 1 | 11 | 1.16 |
| Spiros Eliopoulos | 2 | 2 | 0.37 |
| Daniel Hillerström | 3 | 10 | 2.57 |
| Anil Madhavapeddy | 4 | 674 | 52.83 |
| K. C. Sivaramakrishnan | 5 | 68 | 9.12 |
| Leo White | 6 | 2 | 0.37 |