递归的本质：递归的数理逻辑表示

条件完备后执行后继计算:

F = Future(context & P & r(F)) + Call(r(F) = F(input - 1))

 

Continuation是一种非常古老的程序结构，简单说来就是entire default future of a computation, 即对程序“接下来要做的事情”所进行的一种建模，即为“完成某件事情”之后“还需要做的事情”。而这种做法，也可以体现在尾递归构造中。

 

http://www.nowamagic.net/librarys/veda/detail/2332