いや、だからコンパイラが関数の仕様をしらなくても
純粋な関数なら入力に対して出力は必ず一意に定まるのだから
純粋な関数に定数の入力があれば、コンパイル時にその関数を実行させて
結果を定数化する事は可能だろうという事。


純粋な関数≒状態を保持しない で
状態を保持しないかどうかはコンパイル時に判るのだから