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.
alt Hacker News
Try writing an exhaustive spec for anything non-trivial and you might see the problem.