I think you are right, but you only cover producing code. For maintaining code, it is another story. If you have to take over an unknown code base, I think stat

I think you are right, but you only cover producing code. For maintaining code, it is another story. If you have to take over an unknown code base, I think static typing will prevent bugs to be deployed, because the typing system will detect errors you might not be aware of due to your incomplete knowledge of the code. I was in favour of dynamic typed, but lean more and more towards static typing, like ocaml.