回复内容：
要说 Closure 就得说 Closed Lambda Expression，一个 Closed Lambda Expression 就是没有自由变量的 Lambda Expression，如 λ x . x ，而 λ x . y x 就不是 Closed。Closed Lambda Expression 最好的性质之一就是它的类型必然同构于某个逻辑重言式，如 λ x . λ y . x y 的类型就是「肯定前件」( α → β ) → α → β 。
那么如何把某个 Open Lambda Expression 给 Enclose 住呢？答案就是把它引用的所有自由变量给保存到什么东西里面，这种保存了自由变量的 Lambda Expression 就是 Closure。在其同构的逻辑一面，则是在相继式左边加入前提。
语法上东西我就不说了。
计算机程序可以粗略的分成，代码+数据。初学者很容易就会将这两者对立起来，会认为代码就是代码，数据就是数据，两者是完全不同的。但实际上，两者可以统一起来的。将代码跟数据统一起来，是学习计算机编程的一道门槛。
可以参考，我以前的回答。回调函数是什么？
将数据保存起来，以后再使用，会觉得很自然。但将代码保持起来，以后再使用，很多人会觉得很别扭，难以理解。都是因为还没有过那道槛。
代码指令执行时候，会处于一定的环境，单纯将代码保存下来，还是不够的，需要将代码所处的环境也保存下来。闭包其实是，将代码跟代码所处于的环境做为一个整体来看待。周围的环境，表现为代码所使用的数据。在有些语言中，这个概念叫代码块（block），匿名函数(lambda)等等。
数据跟代码不再人为割裂开来，统一起来看待。闭包就会是很自然的概念。数据可以传递，从一个地方传递到另一个地方，并且以后再使用。闭包从某个角度来说，也是数据，当然也可以传递，从一个函数传递到另一个函数，也可以保持下来，以后再调用。因为将环境也保持下来了，以后调用的时候，就还原当时的情况，延迟执行，就很容易，很自然地实现了。而延迟执行有什么作用？就是另一个话题了。
function makeCounter()
local count = 0
return function()
count = count + 1
return count
end
闭包就是一个函数，或者一个指向函数的指针，加上这个函数执行的非局部变量。说的通俗一点，就是闭包允许一个函数访问声明该函数运行上下文中的变量，甚至可以访问不同运行上文中的变量。
我们用脚本语言来看一下：
function funA ( callback ){
alert ( callback ());
}
function funB (){
var str = "Hello World" ; // 函数funB的局部变量，函数funA的非局部变量
funA （
function （） {
return str ;
}
）；
}
Javascript闭包——懂不懂由你，反正我是懂了 这个比较容易懂 至少JavaScript闭包是指有权访问另一个函数作用域中的变量的函数，其他语言的不知道（逃 可以和对象的概念对比起来理解，简单地说：
对象是带方法的数据，而闭包是带数据的方法
后半句的数据特指外部数据 一块内存区域，存放着可执行代码和一些变量，指针 学过离散没？在某些集合上某些运算的结果始终在这个集合里，这就叫闭包性质…………虽然和这个闭包一点关系都没有=_=。
闭包在函数式语言当中是一个非常有力的工具，但是有点只可意会的感觉。
简单的来说你可以把闭包看成是绑定了某些变量的值的函数，由于函数式语言中函数是一级对象，所以，这样的性质就非常有用了，比如说可以通过在函数里面返回一些闭包来定义一些数据结构什么的。
举个栗子：
这是我学common lisp 的时候写的一个栈
( defun stackpush ( stack x )
( cons #' ( lambda () x )
#' ( lambda () stack )))
( defun stackpop ( stack ）
( apply ( cdr stack ) nil ))
( defun stacktop ( stack )
( apply ( car stack ) nil ))
穷人的类