関数型言語
関数型言語でないプログラムであっても、この制約付きの環境であれば、決定論的に動作する。