Personal tools

Eta conversion

From HaskellWiki

Revision as of 03:40, 30 January 2007 by Nedervold (Talk | contribs)

Jump to: navigation, search
An eta conversion (also written η-conversion) is adding or dropping of abstraction over a function. For example, the following two values are equivalent under η-conversion:
\x -> abs x
and
abs

Extensive use of η-reduction can lead to Pointfree programming.