# Difference between revisions of "Eta conversion"

From HaskellWiki

(This is a stub.) |
|||

Line 1: | Line 1: | ||

− | An ''eta conversion'' (also written ''η conversion'') is& | + | 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
```

and

```
abs
```

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