不給跑的叫 static strong typing，跑了爆炸的叫 dynamic strong typing，不會爆炸的叫 weak typing