ECOOP 2019 (series) / Artifacts /
Godot: All the Benefits of Implicit and Explicit Futures
This artifact contains an implementation of data-flow futures in terms of control-flow futures, in the Scala language. In the implementation, we show microbenchmarks that solve the three identified problems from the paper:
- The Type Proliferation Problem,
- The Fulfilment Observation Problem, and
- The Future Proliferation Problem
There are also detailed instructions on design decisions that differ from the formal semantics and restrictions on the limits of how much can be encoded in the Scala language. We provide examples, e.g., creation of a proxy service using data-flow futures, as well as tests that exercise different parts of the type system.