Блин, я тут достиг полного просветления по поводу модели future/promises
Короче, после долгой медитации я понял, что принципиально речь идет о следующей математической модели.
Есть некоторая once_callable_function f и набор ее параметров A, B, C, ...
Функция f указывается сразу, каждый аргумент может быть записан не более одного раза
Если все аргументы f записаны, то инструкция выполнить f передается исполнителю.
Существует два принципиальных способа записи аргумента: отзываемая и неотзываемая. Запись аргумента обязательна.
В случае отзываемой записи если аргумент записан, а потом отозван, то если исполнитель еще не начал вызов f то вызов f не произойдет.