We have tests, and static types, because developers are people and people make mistakes. You can't say "we simply don't allow bugs!" because it's a lie. Why re

We have tests, and static types, because developers are people and people make mistakes. You can't say "we simply don't allow bugs!" because it's a lie. Why rely on a another person manually checking for silly mistakes when the computer can do it for you?