amefur.asia is one of the many independent Mastodon servers you can use to participate in the fediverse.
アメフラシによるアメフラシのためのアメフラシのサーバーです.お一人様です.

Administered by:

Server stats:

1
active users

あくまで疑似コードだけど変数に式が代入されるのだとすると、

y = 5
x = 4 * y

y = 8

eval(x) ←ここで x はどう評価されるべき?

数学としても変な感じがするなぁ

変数が関数のような振る舞いをする?

@acid_rain このような表現で関数が代入されてしまうほどの過激派であれば、yも参照型であった方が一貫性がありそうです。ローカル変数とかそういう概念すらなさそうなので。
そうなるとeval(x)した時点でのyには8が入っているので、4 * 8の結果が出てくるべきと。

酸性雨

@204504bySE 先ほど知ったのですが,数式処理のため言語とかだと実際にこういう遅延評価をするものがあるそうです(その言語だと評価値の代入と式の代入は区別されているそうです).