# Difference between revisions of "Eta conversion"

From HaskellWiki

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