-Abstraction

Next: Rules of Associativity Up: Eta Conversion Previous: -Reduction Contents Start

$\eta$ -Abstraction

$\eta$ -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, abstraction and reduction alike, are mainly used within compilers. (See [Jon87] page 22.)

$\fbox{ \parbox{12.5cm}{ {\sc Rule 9 (Eta Abstraction)} \\ The following transf... ...leftarrow} M$\ , \end{center}where $x$\ may not be a free variable in $M$. } }$

Georg P. Loczewski 2004-03-05

Impressum und Datenschutz