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.
- 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
[lee-thuh] /ˈli θə/ noun 1. a female given name.
[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 […]