まぁ普通は動的型付け言語でもできる限り型を意識して書くからね
同じ変数に違う方を代入したり，関数内の分岐によって全く違う方を返すとかはやらないよね