Difference between revisions of "Eta conversion"
Jump to navigation
Jump to search
and
(This is a stub.) |
|||
Line 1: | Line 1: | ||
− | An ''eta conversion'' (also written ''η |
+ | 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: <haskell>\x -> abs x |
+ | </haskell>and <haskell>abs</haskell> |
||
+ | |||
+ | Extensive use of η-reduction can lead to [[Pointfree]] programming. |
||
[[Category:Glossary]] |
[[Category:Glossary]] |
Revision as of 03:40, 30 January 2007
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
abs
Extensive use of η-reduction can lead to Pointfree programming.