因为那里有非图灵完整的语言,并且鉴于我没有在大学学习Comp Sci,有人可以解释一下Turing-incomplete语言(如Coq)不能做的事情吗？
或者是没有实际利益的完整性/不完整性(即它在实践中没有太大的区别)？
编辑 - 我正在寻找一个答案,你不能用非Turing完整语言构建一个哈希表,因为X或类似的东西!
programming-languages functional-programming turing-complete coq
coq ×1
functional-programming ×1
programming-languages ×1
turing-complete ×1