=

• C言語では

A=0;
B=1;
A=B;

とするとA=B=1です

• が、Ozはというと

A=0
B=1
A=B

同じように書いても

%********************** static analysis error *******************
%**
%** equality constraint failed
%**
%** First value:             1
%** Second value:            0
%** Original assertion:      1 = 0
%** Offending expression in: file "Oz", line 5, column 5
%** in file "Oz", line 6, column 3
%** ------------------ rejected (1 error)

＼(^o^)／

完全に数学なんかの「=」と同じか…
流石マルチパラダイム…関数型言語部分の片鱗を見た気がするぜ…(違いますかそうですか)
てかAda以上にゴチャゴチャしてて意味不明なんだぜ…