>>690
> とすると「関数に同じ引数を渡せばいつでも同じ結果が得られる。」でないことってあるの？

無い。
関数型言語でいうところの関数は定義が
「同じ引数を渡せばいつでも同じ結果が得られる」もののことだから。