[pyrale]

Even though that's a reaction on the title rather than the (interesting) content, I would like to add that Turing-completeness isn't the gold-standard of languages. Some very interesting languages like Agda or Idris focus on the benefits of abandoning it.

[passion__desire]

Can you say more about the benefits?

[tsimionescu]

In a Turing complete language, the halting problem prevents you from proving formally that any program has certain properties (say, that it doesn't leak memory).

In a language where any program halts by construction, the compiler can actually check such properties.