Total functional programming

来，一些以通用和系统编程为目的的编程语言被设计出来，如 Idris。 一些以证明辅助为主要目的的编程语言采用强函数式编程（total functional programming），这消除了停机问题，同时也意味着通过它们自身的核心语言无法实现任意无限递归，不是图灵完全的，如 Coq 和

Education. Springer LNCS 1022: 1–13. December 1995. . Turner, D.A., Total Functional Programming, Journal of Universal Computer Science, 2004-07-28, 10 (7): 751–768

Common Lisp 变体。和 Lisp 一样，ACL2 使用动态类型系统。ACL2 中所有的函数均是完整定义的（total（英语：Total functional programming））——每一个函数均在 ACL2 的全集中将各个对象（输入）映射到另一个对象（输出）。 ACL2

these are not necessary in corecursion in pure functional programming. In pure functional programming, rather than assigning to local variables, these

Europe. Springer Berlin Heidelberg, 1987. Hammond, Kevin. Parallel functional programming: An introduction. In International Symposium on Parallel Symbolic