Well, you’re misguided. It’s not the language, it’s platform features like kv store attached to blockchain that make these dapps possible to implement. And none of them require Turing completeness.

They may not require turing completeness in the strictest sense, but they do require branching logic and loops.

Branching and looping are constructs that you can have in non-Turing complete language with some limitations that don’t matter in practice for the purpose of ethereum or bitcoin scripts.

a non-turing complete language can still be useful and "expressive" in a loose sense.

SPARK[0] isn't Turing complete but it's still pretty useful, and likely a better language than Solidity.

[0] https://en.wikipedia.org/wiki/SPARK_(programming_language)