オブジェクトの局所性についても定義しておく。 def 即値は局所的である。 def 局所的なフィールドしか持たないオブジェクトは局所的である。 ただし、不変オブジェクトは局所的であると見なしてよい。

def 主作用は副作用ではない。 def 局所オブジェクトの操作は副作用ではない。*1 def 非局所オブジェクトの操作のうち、更新を伴わないものは副作用ではない。 def 以上に該当しない作用はすべて副作用である。 要点：主作用だけが非局所的であればよい。最…

def 即値の参照は副作用を持たない。 def 即値の代入の返り値は副作用である。

当然のことながら副作用を定義するためには主作用を定義しなくてはならない。しかし、主作用が何であるかが自明だとは限らないため、操作を定義する際に別途明記する必要がある。