Computational Closure

Computational closure is the property of a function that carries with it the complete lexical environment in which it was defined, making it self-sufficient at the level of meaning. In lexically scoped languages, a function that references free variables from its enclosing scope retains access to those variables even when invoked outside that scope, because the environment has been captured at the point of definition. This is not a mere implementation detail but a fundamental abstraction: it enables functions to be passed as values, returned from other functions, and composed in ways that would be impossible if meaning depended on the call site. The cost is that closures can prevent garbage collection when they capture environments that outlive their original context, a trade-off between expressive power and resource management.