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

标签：magic   net   tin   ref   default   表示   com   contex   call   

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

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

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

标签：magic   net   tin   ref   default   表示   com   contex   call   

原文地址：https://www.cnblogs.com/feng9exe/p/11929249.html