Revision as of 20:27, 18 October 2006 by BrettGiles
f x = (\y -> x + y)
returns a closure, because the variable
, which is bound outside of the lambda abstraction is used inside its definition. An interesting a side note: the context in which
was bound shouldn't even exist anymore, and wouldn't, had the lambda abstraction not closed around x.