Personal tools

Alpha conversion

From HaskellWiki

Revision as of 16:45, 29 January 2007 by MathematicalOrchid (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

An alpha conversion (also written α conversion) essentially involves renaming variables.

For example, suppose we have an expression such as

\x y -> 2*x*x + y

and we change this to

\a b -> 2*a*a + b

This is clearly the same function, even though it uses different variable names. This process of renaming variables is alpha conversion.

(Note that alpha conversion is not as simple as it first seems. For example, if we rename
x
to
y
in
\x -> x + y
then we end up with
\y -> y + y
, which is radically different!)