Actually non-Turing languages are very useful and can be quite powerful. Consider for example TensorFlow and/or Theano. Before they added the loop and conditio

Actually non-Turing languages are very useful and can be quite powerful. Consider for example TensorFlow and/or Theano. Before they added the loop and conditional Ops, they were non-Turing Complete. And you could do amazing things with it as it were. In fact, I took a lesson from that when working on Gorgonia (https://github.com/chewxy/gorgonia https://github.com/chewxy/gorgonia) - I don't ever want it to be a Turing Complete language.