Yes, but a programming language with a proverbial sufficiently smart compiler. That is very useful.

Try writing an exhaustive spec for anything non-trivial and you might see the problem.