移动是一种图灵通语言吗？

Question

会移动(在Diem平台上)，就像Ethereum，图灵完成了吗？我读过白皮书，但一直无法决定。

这是白皮书：https://developers.libra.org/docs/assets/papers/libra-move-a-language-with-programmable-resources.pdf

Answer 1

这是一种图灵完整的编程语言.它支持同时循环和递归。

有关更多信息，请参见移动基本文档。

Answer 2

它要么是图灵完整的，要么不是图灵完全智能契约编程语言。

到目前为止，还没有提到这方面的文件。

Answer 3

是的，移动是图灵完全的，这意味着天秤座是图灵完全的。因此，确定一个给定的移动程序是否终止不能静态地决定。但是，通过确保(1)每个字节码指令都有一个非零的代价，以及(2)任何程序可以用的气体量是有界的，我们得到了程序的这种终止性质，几乎是免费的。

查看官方博客中的更多细节：https://www.diem.com/en-us/blog/how-gas-works-on-libra-blockchain/