Beta reduction
From HaskellWiki
(Difference between revisions)
(I think my example actually included an etareduction as well as a beta conversion. Edited example.) 

(One intermediate revision by one user not shown) 
Revision as of 18:22, 3 February 2007
A beta reduction (also written β reduction) is the process of calculating a result from the application of a function to an expression.
For example, suppose we apply the function
(\x > 2*x*x + y)
7
7
x
(\x > 2*x*x + y)(7)
is reduced to the result
2*7*7 + y
This is a beta reduction.
(Further reductions could be applied to reduce2*7*7
98
(*)
Also see Lambda calculus and the wikipedia lambda calculus article.