# Side-effect checking (副作用検査)

副作用検査はEffectCheckerという構造体で実行される。
副作用検査では以下のことを行う。

* 副作用の許されない式中で副作用のある呼び出しが行われていないか検査する。
* 関数中で可変オブジェクトが参照されていないか検査する
* 関数にプロシージャが代入されていないか検査する