Personal tools

Free variable

From HaskellWiki

Jump to: navigation, search

A variable that is not bound.

(\x -> x y)
In the above expression,
y
is a free variable.

Whether a variable is free or not depends largely on context. It often helps to describe a variable as being free within a particular expression.

See also: Free expression, Maximal free expression.