(Difference between revisions)
(This is a stub.)
|Line 1:||Line 1:|
An ''eta conversion'' (also written ''η conversion'') is&
An ''eta conversion'' (also written ''ηconversion'') is &;
Revision as of 03:40, 30 January 2007An 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
Extensive use of η-reduction can lead to Pointfree programming.