December 2022
Intermediate to advanced
528 pages
15h 41m
English
Our final case study expands on the previous one by focusing on the parallel execution of functions—as opposed to the actions examined in Chapter 24. It considers a scenario in which several functions are applied to the same input, each with a different likelihood of succeeding. The implementation leverages the concurrency constructs explored in earlier chapters—promises, futures, higher-order functions—and uses their features to address failure, timeout, cancellation, and caching issues.
Note
This case study was inspired by a problem I faced, a long time ago, while working on static analysis of programs. I was implementing a tool that worked by generating proof obligations—that ...
Read now
Unlock full access