Eta conversion
From HaskellWiki
Revision as of 23:55, 6 January 2011 by Lemming (talk | contribs) (link to recent thread in Haskell-Cafe)
\x -> abs x
abs
Converting from the first to the second would constitute an eta reduction, and moving from the second to the first would be an eta abstraction. The term 'eta conversion' can refer to the process in either direction.
Extensive use of η-reduction can lead to Pointfree programming. It is also typically used in certain compile-time optimisations.
See also
- Haskell-Cafe on What's the motivation for η rules?