full laziness

(functional programming)A transformation, described byWadsworth in 1971, which ensures that subexpressions in afunction body which do not depend on the function's argumentsare only evaluated once. E.g. each time the function

f x = x + sqrt 4

is applied, (sqrt 4) will be evaluated. Since (sqrt 4) doesnot depend on x, we could transform this to:

f x = x + sqrt4sqrt4 = sqrt 4

We have replaced the dynamically created (sqrt 4) with asingle shared constant which, in a graph reduction system,will be evaluated the first time it is needed and then updatedwith its value.

See also fully lazy lambda lifting, let floating.

单词	full laziness
释义	full laziness full laziness (functional programming)A transformation, described byWadsworth in 1971, which ensures that subexpressions in afunction body which do not depend on the function's argumentsare only evaluated once. E.g. each time the function f x = x + sqrt 4 is applied, (sqrt 4) will be evaluated. Since (sqrt 4) doesnot depend on x, we could transform this to: f x = x + sqrt4sqrt4 = sqrt 4 We have replaced the dynamically created (sqrt 4) with asingle shared constant which, in a graph reduction system,will be evaluated the first time it is needed and then updatedwith its value. See also fully lazy lambda lifting, let floating.
随便看	charge-localized ion chargeman charge-mass ratio chargemaster charge master-based billing charge medical technician charge me up charge me with charge modulation device charge motion control valve charge motion control valves charge multiplet chargen charge neutrality charge nurse charge nurses charge of electron charge off charge-off charge off as charge off loan tracking charge-off recovery system charge offs charge-offs charge of quarters