lambda lifting
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definition of lambda lifting words
- noun Technical meaning of lambda lifting A program transformation to remove free variables. An expression containing a free variable is replaced by a function applied to that variable. E.g. f x = g 3 where g y = y + x x is a free variable of g so it is added as an extra argument: f x = g 3 x where g y x = y + x Functions like this with no free variables are known as supercombinators and are traditionally given upper-case names beginning with "$". This transformation tends to produce many supercombinators of the form f x = g x which can be eliminated by eta reduction and substitution. Changing the order of the parameters may also allow more optimisations. References to global (top-level) constants and functions are not transformed to function parameters though they are technically free variables. A closely related technique is closure conversion. See also Full laziness. 1
Information block about the term
Parts of speech for Lambda lifting
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
- Words starting with l
- Words starting with la
- Words starting with lam
- Words starting with lamb
- Words starting with lambd
- Words starting with lambda
- Words starting with lambdal
- Words starting with lambdali
- Words starting with lambdalif
- Words starting with lambdalift
- Words starting with lambdalifti
- Words starting with lambdaliftin
- Words starting with lambdalifting
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?