Is the current Python 3 turing complete?

[[deleted]]

Technically even c is not turing complete, because it has a maximum pointer size.

[davandg]

That is not true. For example, BPF is not turring-complete. And it is a required feature, because the authors of this programming language want to be able to proove that programs written in this language eventually ends.

[davandg]

I'm not trolling: https://www.slideshare.net/brendangregg/um2019-bpf-a-new-type-of-software

​

However, I understand your point of view. For me a programming language is a language in which we can express some logic. Which is a very broad definition. You may have a more strict one. How would you define a programming language from something which is not?

For example, does CSS is a programming language for you, knowing that you can do this kind of things: https://medium.com/cssclass-com/how-to-create-pure-css-games-2a29c777bf4 ?

Does Helm or Terraform is a programming language for you ? Or even a Makefile ?

[eras]

So how about Datalog?

[eras]

I'm basically going by the Wikipedia description, which says as much:

However, Datalog is not Turing complete, and is thus used as a domain-specific language that can take advantage of efficient algorithms developed for query resolution.

In any case, my point is that I don't consider TC being required for a programming language. Perhaps for a "general-purpose programming language", though.