Future パターン
一般的なRPCで次のような式を考える。
これは、次のように展開できる。
これを解釈すると、t1 および t2 の値が定まらないと t3 の値は計算できない。future を使うとこの式が次のように表される。
これを展開すると次のようになる。
このようにすると t3 は即座に計算される。ただし、t3 から情報を得ようとすると待たされる。