Added to Favorites

Computing Dictionary

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)

Explore Dictionary.com

More from Thesaurus.com

Synonyms and Antonyms for let floating

More from Reference.com

Search for articles containing let floating

More from Dictionary.com Translator

Translate let floating into French

Translate let floating into German

Translate let floating into Italian

Translate let floating into another language

Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Nearby Words

Copyright © 2014 Dictionary.com, LLC. All rights reserved.