■
評価は後ろからなのか。
# let aaa x = print_string "aaa"; x + 1;; val aaa : int -> int = <fun> # let bbb x = print_string "bbb"; x + 1;; val bbb : int -> int = <fun> # let ccc x = print_string "ccc"; x - 1;; val ccc : int -> int = <fun> # aaa 1 + bbb 2 + ccc 3;; cccbbbaaa- : int = 7
なんでだろう? スタックにでも入ってるのかな