I've been a big fan of this idea ever since I started becoming serious about 
programming (aka when I got my first IT job 2 years ago). I'm a "learnt from 
the Internet" programmer who's been doing different things with JavaScript 
since 2021 (and a computing hobbyist from about 2014; and a lawyer before that).

And since 2021, I've been reading about various programming languages, and 
technologies. And the idea that one could create a programming language that 
could do it all has fascinated me.

However, a senior programming educator and a former engineer told me that such 
a language is impossible due to the "Church-Turing thesis". I just know (after 
reading its Wikipedia page) that the thesis relates to computability. I have 
not received any formal education in Mathematics after high school.

Is the thesis an obstacle to achieving the goal of having a programming 
language that can rule them all? Is it scientifically possible?

I ask this, of course, due to the Nim's stated goal of being the one language 
to rule them all. <https://nim-lang.org/blog/2022/12/21/version-20-rc.html>

Reply via email to