Eta conversion

From HaskellWiki

Revision as of 16:51, 29 January 2007 (edit) MathematicalOrchid (Talk | contribs) (This is a stub.) ← Previous diff		Revision as of 03:40, 30 January 2007 (edit) (undo) Nedervold (Talk | contribs) Next diff →
Line 1:		Line 1:
-	An ''eta conversion'' (also written ''&eta; conversion'') is&hellip; 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: and

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

Category: Glossary