>>883
副作用ではなくて、宣言じゃないのか？
副作用使っておいて、それを「表示的意味論」と呼ぶのはおかしい。