Libra VM (Move) 是一种图灵完备的语言吗？
Is libra VM (Move) a turing complete language?
Libra 会像以太坊一样图灵完备吗？看过白皮书，一直拿不定主意
它是图灵完备的或非图灵完备的智能合约编程语言。
到目前为止，还没有文档提到这个。
图灵完备的编程语言，支持While、Loop、Recursion。
是的，Move 是图灵完备的，这意味着 Libra 是图灵完备的。因此，无法静态地确定给定的 Move 程序是否终止。然而，通过确保（1）每条字节码指令的成本不为零，以及（2）任何程序可以启动的气体量是有界的，我们得到这个终止 属性 对于几乎没有的程序成本。
更多详情请查看官博：https://www.diem.com/en-us/blog/how-gas-works-on-libra-blockchain/
Libra 会像以太坊一样图灵完备吗？看过白皮书，一直拿不定主意
它是图灵完备的或非图灵完备的智能合约编程语言。
到目前为止，还没有文档提到这个。
图灵完备的编程语言，支持While、Loop、Recursion。
是的，Move 是图灵完备的，这意味着 Libra 是图灵完备的。因此，无法静态地确定给定的 Move 程序是否终止。然而，通过确保（1）每条字节码指令的成本不为零，以及（2）任何程序可以启动的气体量是有界的，我们得到这个终止 属性 对于几乎没有的程序成本。
更多详情请查看官博：https://www.diem.com/en-us/blog/how-gas-works-on-libra-blockchain/