回答編集履歴

 

  ---

 

  参照透過性があり、引数やthis値を固定できるのなら「返り値」は不変ですが、それならば約束された「関数の返り値」を初めから変数に代入すれば良いことになります。

  「関数の返り値」を「定数」とみなすのは非常に困難だと思います。