単に要求された型の範囲で返せるか返せないかってだけの話であってそれ副作用の有無と全く関係ないよねたぶん？＞＜；

と言うことは、さっき書いた動的型付けの議論の例示の 1+"hoge" の話と全く同じ？＞＜；