这个未来MultiLisp的注释为驯服隐式函数程序的并行性。之前的研究未来专注于实施以及设计问题，并且在很大程度上忽略了语义特征的开发未来本文考虑一种理想化的函数语言期货并呈现了一个系列操作语义的内涵程度增加。第一个语义定义未来成为语义透明的注释。第二个语义解释未来表达式作为潜在的并行任务。第三种语义解释了通过引入并行任务占位符对象和触摸操作。

我们使用最后一个语义来推导程序分析算法和优化消除可证明冗余触摸操作的算法。Gambit实验编译器表明，这种优化大大减少了触摸带来的开销操作。