FCC中的惰性计算
A Lazy Evaluation in FCC
-
摘要: 由于FFP语言中存在着非严格(non-strict)函数,所以用紧迫计算(eager evaluation)方式计算非严格函数,不仅降低了执行效率,而且还可能导致计算失败.为此,本文又提出了几个在FCC中实现对某些非严格函数进行惰性计算的归约规则,并在Micro-VAX3500上比较了用惰性计算的方式和用紧迫计算的方式来计算一个非严格函数的执行效率.Abstract: As non-strict functions exist in FFP language, we evaluate non-strict functions under eager evaluation. It not only cuts down the execution efficiency but also leads to the computation failure. This paper presents some reduction rules of implementation of the lazy evaluation for some non-strict functions in FCC and compares the execution efficiency of a non-strict function under eager evaluation and under lazy evalualion on Micro-VAX 3500 machine.
下载: