副作用と順次実行

• 1. 局所環境＝変数環境への作用 パターンマッチング
• 2.1 メッセージ送出 他プロセス／ランタイム全体への作用
• 2.2 ランタイム外部への影響 ポート 一応メッセージングと統合されている

式Eの環境σでの評価結果＝値を【E】_σとする。Eの評価に伴う環境σへの作用をE(σ)とする。

1. 【(E1, E2)】_σ = 【E2】_σ' where σ' = E1(σ)
2. (E1, E2)(σ) = E2(E1(σ))

• (E1, E2, E3) ≡ ((E1, E2), E3)

もう少し網羅的精密な定式化が必要だな。