When you've been perfectly precise in your spec and language, isn't that programming? Why use a stochastic goblin to do things in that case?
ofc we don't have that, so code is compressible, and compressible a lot. You can say what you need in English much shorter than in in any programming language