Indeed! But I am afraid general purpose programming languages almost always need that kind of power (though being Turing complete is not necessary)

They need it operationally for calculations and such, but those calculations don't necessarily need to be statically validated beyond simple things like type and unit checking.