Is Move a Turing-complete language?

700 Views Asked by At

Will Move (on the Diem platform), like Ethereum, be turing complete? I have read the white paper but have been unable to decide.

This is the white paper: https://developers.libra.org/docs/assets/papers/libra-move-a-language-with-programmable-resources.pdf

3

There are 3 best solutions below

0
jolestar On BEST ANSWER

It is a Turing-complete programming language. It supports while loops and Recursion.

See the Move Basics documentation for more information.

0
Charles Brown On

It is either a turing complete or not a turing complete smart contract programming language.

Until now, there is no documentation mentioned this.

0
Sahil On

Yes, Move is Turing complete which means that Libra is Turing complete. Because of this, determining if a given Move program terminates cannot be decided statically. However, by ensuring that (1) every bytecode instruction has a non-zero cost, and (2) the amount of gas that any program can be started with is bounded, we get this termination property for programs almost free of cost.

Check out more details in the official blog: https://www.diem.com/en-us/blog/how-gas-works-on-libra-blockchain/