PureAttribute のドキュメントには次のように書かれています。
型またはメソッドが純粋であること、つまり、目に見える状態の変更を行わないことを示します
これは、Microsoft Code Contracts における Pure 関数の唯一の要件ですか?
と; このモデルは、例外は (副作用ではなく) 結果であると想定していますか?
より一般的な文脈では、純粋な関数 は、出力が入力のみに依存することも意味するためです。すなわち。I/O または確率関数の結果であってはなりません。
純粋な関数は、おそらく例外とは対照的に、常に外側の式に値を与えると主張する人もいるかもしれません。
[Pure] が実際に制限の少ない形式に限定されている場合、「[FunctionalPure]」に相当するものはありますか?