That's also what makes programming harder. As a lawyer you can write a contract that is literally factually incorrect with respect to the law, and may never get tested and actually works as intended (gets two parties to abide by the rules of the contract).

In programming, the first test is the computer. If my program doesn't compile or pass unit tests, I can't even get it to the client or customer.