Let floating



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.
(1997-07-09)

Tagged:

Read Also:

  • Let george do it

    sentence Let someone else besides me take care of it [1910+; perhaps fr a learned journalist’s recall of the French laissez faire a` Georges, ”let George do it,” referring to Cardinal Georges d’Amboise, a church and government official under Louis XII in the late 15th and early 16th centuries]

  • Let grass grow

    see: don’t let the grass grow under one’s feet



  • Letha

    [lee-thuh] /ˈli θə/ noun 1. a female given name.

  • Lethal

    [lee-thuh l] /ˈli θəl/ adjective 1. of, relating to, or causing death; deadly; fatal: a lethal weapon; a lethal dose. 2. made or carried out to cause death: a lethal chamber; a lethal attack. 3. causing great harm or destruction: The disclosures were lethal to his candidacy. /ˈliːθəl/ adjective 1. able to cause or causing […]



Disclaimer: Let floating definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.