参照透明性ってデバッグの容易さの点で重要と聞いてるけど。