>>749

let x = ref 0
let f () = x := !x + 1; !x

let a = f () in
let b = f () in
  a - b

へー、これで a - b が決定されるのは正格評価と関係ないんだ
あとdoは構文糖だっていってんだろ
表記が違えば関数じゃなくなるのかよ