That was my first thought coming from SPA development. Like, is there even a meaningful translation between rendering logic written in a functional, declarative style to e.g. object-oriented imperative Java? How many LOCs of C would be required to model a simple DOM operation?
Yes, everything is Turing complete and a translation can exist, but how would you make any sense of it as a reader?
As another commenter have put it [0], the need for specialized paradigms is to restrict what you can do and data type available to you, because it's easier to think and act when things are specialized and distinct.
But in daily life, people are not accustomed to formalize their thought at that extent as there's a collective substrate (known as culture and jargon) that does the job for natural languages.
But the wish described in TFA comes from a very naive place. Even natural languages can't be reduced to a single set.
Yes, everything is Turing complete and a translation can exist, but how would you make any sense of it as a reader?