effect hierarchy (エフェクト階層)

エフェクトは、関数で示すことができる動作のカテゴリです。 関数に対する排他的エフェクトの適用には階層があり、階層内の上位のエフェクトは少なくとも下位のすべてのアクションを許可します。 階層は次のとおりです。

1. transacts

2. varies

3. computes

4. converges

transacts エフェクトには下位のエフェクトのプロパティが含まれ、varies エフェクトには computes および converges エフェクトが含まれますが、transacts は含まれないといったようになります。