next up previous contents
Next: -Abstraction Up: Eta Conversion Previous: Eta Conversion   Contents
New book on A++ and the Lambda Calculus available!

eta reduction-Reduction

eta reduction-reduction is useful to eliminate redundant lambda abstractions. The following rule can be interpreted like this:

If the sole purpose of a lambda abstraction is to pass its argument to another function, then the lambda abstraction is redundant and can be stripped via eta reduction-reduction.

In an environment where `eager evaluation' is used like in Scheme such redundant lambda abstractions are used as a wrapper around a lambda expression to prevent immediate evaluation.

Eta Reduction

Georg Loczewski 2003-08-07