函数型程序设计中的推测计算

？如果某些工作在被确认以前，就可开始运行，那么在并行机器上一些问题能够解决得更快。给必须做的工作以一超越其它工作的优先权，则执行推测计算就可以加速运算速度、本文讨论了一种适合于控制推测计算的简单的函数型程序设计技术。