ピュア関数の提案は出てたよ。最適化に効くとかで。