<programming> A program transformation used in functional programming to implement full laziness.

E.g. the function

f x = x + sqrt 4

can be expressed as

f x = let t = sqrt 4 in x + t

but note that t does not depend on the argument x so we can automatically transform this to

t = sqrt 4 f x = x + t

Making t into a global constant which need only be evaluated at most once, rather than every time f is called.

The general idea is to float each subexpression as far out (toward the top level) as possible to maximise sharing.

< Previous Terms |
Terms Containing let floating |
Next Terms > |

Leo LER LERP less than LessTif |
full laziness |
letterbomb level 1 cache level 2 cache LEVEL5 OBJECT level one cache |

WeWork Office Space & Coworking

Address: 115 Broadway, New York, NY 10006

Hours: Opens 9AM - 6PM

Phone: +1 646-396-3519

shape

shape