Free variable

From HaskellWiki
Revision as of 20:03, 5 October 2006 by BrettGiles (talk | contribs) (Convert from HaWiki)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to 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.