That's not a limitation. There is absolutely no reason to have a Turing-complete language in bitcoin. This can even be proved from first principles: bitcoin,

That's not a limitation. There is absolutely no reason to have a Turing-complete language in bitcoin. This can even be proved from first principles: bitcoin, and blockchains generally exist to validate the execution of contracts which have already occurred in meat-space. Basically you and I agree to conditions under which some money is transferred from me to you and vice-versa, which is the actual contract, then write a program (the "smart" contract) which validates that those rules were faithfully executed. It can be shown though that any Turing-complete contract rules can be validated using a non-Turing-complete language like Bitcoin script (ignoring runtime limits). The block chain doesn't need to run every contract, it just needs to validate that every contract ran correctly. A different problem, for which Turing completeness is not required. Edit: For the down-voters, show me a Turing-complete contract that can't have its execution trace validated in a non-Turing complete language. In the 10 years I've been in this space I've yet to encounter a single one.