そもそも静的型付けのヒトは、コンパイルが通れば
型の不整合によるエラーはぜったい起こらないという前提なの？
そんなちゃんとした型システムの言語、あんたら使ったことないだろ