Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.
An Ada 2012 implementation of the Rx methodology