Tuesday, July 12, 2011

eta conversion

http://www.haskell.org/haskellwiki/Eta_expansion

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
 
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.