DEV Community

Discussion on: What are some misconceptions about web development?

wayofthepie profile image
Stephen O'Brien • Edited on

I've never understood this argument. Where did the idea a programming language has to be turing complete to be a programming language, come from 😄

A good example is agda. Agda is a total language, its functions always terminate and cannot return a value other than the type specified. This property makes it non-turing complete.

I would still call it a programming language. There are many other examples.

Thread Thread
kevtiq profile image
Kevin Pennekamp

Agreed. I mean, even Pokemon Yellow is tiring complete

Thread Thread
ludamillion profile image
Luke Inglis

I think Turing completeness is more important when determining if a language is a ‘general’ programming language as opposed to domain specific languages.