But languages are easy, there is the whole field of PL theory to draw from. If you're randomly throwing things together like Lerdorf was, there's a missed opportunity.
But what is the universally regarded theory that k8s contradicts? I don't think there is one.