[PDF][PDF] Effective concurrency through algebraic effects
OCaml Workshop, 2015•kcsrk.info
Algebraic effects and handlers provide a modular abstraction for expressing effectful
computation, allowing the programmer to separate the expression of an effectful
computation from its implementation. We present an extension to OCaml for programming
with linear algebraic effects, and demonstrate its use in expressing concurrency primitives
for multicore OCaml.
computation, allowing the programmer to separate the expression of an effectful
computation from its implementation. We present an extension to OCaml for programming
with linear algebraic effects, and demonstrate its use in expressing concurrency primitives
for multicore OCaml.
Algebraic effects and handlers provide a modular abstraction for expressing effectful computation, allowing the programmer to separate the expression of an effectful computation from its implementation. We present an extension to OCaml for programming with linear algebraic effects, and demonstrate its use in expressing concurrency primitives for multicore OCaml.
kcsrk.info
以上显示的是最相近的搜索结果。 查看全部搜索结果