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

eta abstraction-Abstraction

eta abstraction-abstraction on the contrary is useful in `eager' languages to create a wrapper around a lambda-expression. In `lazy' languages like Lambda Calculus, A++, SML, Haskell, Miranda etc. eta conversion-conversion, abstraction and reduction alike, are mainly used within compilers. (See [Jon87] page 22.)
Eta Abstraction


Georg Loczewski 2003-08-07