Once the value of a future is assigned, it is not recomputed on future accesses; this is like the memoization used in call by need.
一旦future被赋值，它就不会在访问future的时候重新计算；这就像传需求调用时使用的记忆化。