There are many valid programs that static typing rejects, too. Question is whether the trade off is worth it (and the answer isn't the same for everybody)