维基百科有这样的说法:
总函数编程(也称为强函数编程,与普通或弱函数编程形成对比)是一种编程范例,它将程序范围限制为可证明终止的程序范围.
和
这些限制意味着整个函数式编程不是图灵完备的.但是,可以使用的算法集仍然很大.例如,通过使用上限作为额外参数(其在每次迭代或递归时递减),可以将具有为其计算的渐近上界的任何算法简单地转换为可证明终止的函数.
还有一篇关于全功能编程的论文的Lambda The Ultimate Post .
直到上周我才在邮件列表上看到过这个问题.
您知道更多的资源,参考或任何示例实现吗？