As Alan Turing (almost said): a true General Purpose Programming Language is a Domain Specific Language for writing Domain Specific Languages. If you're not writing DSLs, Turing's Theorem does not apply to you and you are NOT using a Turing-equivalent language.https://twitter.com/jdegoes/status/945692757208608769 …
Look at the formal definitions of universality, as developed by Turing, Kolmogorov, Solomonoff or Chaitin: you have to be able to decode the rest of the input string as an *arbitrary* program. You can't have arbitrary bytes in a C file. C is therefore not universal.
Read my blog!