たとえば、引数が32bit符号つき整数型である関数を書いてしまったらその引数がとりうる全ての可能性にあわせたコードを書かないとダメじゃん？＞＜
仮にそれが -1,0,1のみが想定される関数であるなら、それ以外の数値が来たら例外吐かないといけない(でも実行時)し、そもそも汎用の整数型じゃなく『-1,0,1いずれかにしかならない型』であれば型システムが対処してくれるし多くの場面で静的に検査できる＞＜

引数に型がない言語だと、ありとあらゆるものがやってくる事を考慮しなきゃならないし、静的に検査できない言語環境なら実行するまで何が起こるかわからない＞＜