あくまで疑似コードだけど変数に式が代入されるのだとすると、
y = 5
x = 4 * y
y = 8
eval(x) ←ここで x はどう評価されるべき？
数学としても変な感じがするなぁ
変数が関数のような振る舞いをする？
団地妻党
@204504bySE@homoo.social@acid_rain このような表現で関数が代入されてしまうほどの過激派であれば、yも参照型であった方が一貫性がありそうです。ローカル変数とかそういう概念すらなさそうなので。
そうなるとeval(x)した時点でのyには8が入っているので、4 * 8の結果が出てくるべきと。
@204504bySE 先ほど知ったのですが，数式処理のため言語とかだと実際にこういう遅延評価をするものがあるそうです(その言語だと評価値の代入と式の代入は区別されているそうです)．