Personal tools

Eta conversion

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(This is a stub.)
 
Line 1: Line 1:
An ''eta conversion'' (also written ''η conversion'') is… Wait, what '''is''' an eta conversion? I've forgetten! [[User:MathematicalOrchid|MathematicalOrchid]] 16:51, 29 January 2007 (UTC)
+
An ''eta conversion'' (also written ''&eta;-conversion'') is adding or dropping of abstraction over a function. For example, the following two values are equivalent under &eta;-conversion: <haskell>\x -> abs x
  +
</haskell>and <haskell>abs</haskell>
  +
  +
Extensive use of &eta;-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
and
abs

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