图灵完整性以外的功率度量
我最初试图在StackOverflow上问这个问题,但是它太主观了:-(。我对定义编程语言强大功能的方法很感兴趣。图灵完整性是其中之一,但它几乎是普遍满足的。区分实际使用的编程语言的能力的度量标准,例如,有人可以提出一种非主观的方法来区分汇编语言和Java语言吗? 图灵完整性意味着一种语言在输出方面具有最大的功能(这几乎意味着它可以在现实世界中做任何非时间的事情)。因此,如果我们想定义一个更强大的衡量标准,则需要采取另一种方法。在最初的问题中提出了简短性,但这一点很难定义。还有其他建议吗?