Put another way: can a programming language be specified without any compromises to hardware, environment, programmer or use case? I'm going to go with the sam

Put another way: can a programming language be specified without any compromises to hardware, environment, programmer or use case? I'm going to go with the same answer that I have for the existence of god* or alien*. I don't know, but current evidence would suggest that the most probable answer is zero such languages can or will exist but with an approximately infinite error bar on that answer.