Free variable

From HaskellWiki
Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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.