あくまで疑似コードだけど変数に式が代入されるのだとすると、
y = 5x = 4 * y
y = 8
eval(x) ←ここで x はどう評価されるべき?
あくまで疑似コードだけど変数に式が代入されるのだとすると、
y = 5x = 4 * y
y = 8
eval(x) ←ここで x はどう評価されるべき?
数学としても変な感じがするなぁ
変数が関数のような振る舞いをする?
@acid_rain このような表現で関数が代入されてしまうほどの過激派であれば、yも参照型であった方が一貫性がありそうです。ローカル変数とかそういう概念すらなさそうなので。そうなるとeval(x)した時点でのyには8が入っているので、4 * 8の結果が出てくるべきと。
@204504bySE 先ほど知ったのですが,数式処理のため言語とかだと実際にこういう遅延評価をするものがあるそうです(その言語だと評価値の代入と式の代入は区別されているそうです).
senooken JP Social is a social network, courtesy of senooken. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.
All senooken JP Social content and data are available under the Creative Commons Attribution 3.0 license.