オブジェクトの副作用

1. def 主作用は副作用ではない。
2. def 局所オブジェクトの操作は副作用ではない。*1
3. def 非局所オブジェクトの操作のうち、更新を伴わないものは副作用ではない。
4. def 以上に該当しない作用はすべて副作用である。

要点：主作用だけが非局所的であればよい。最低でも非局所的作用はすべて明記せよ。

*1:D言語のauto属性は局所性の宣言としても使えるかも。