評価は後ろからなのか。 # 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 + </fun></fun></fun>…