functional-programming - 同一个函数的执行是否比将结果与变量关联起来差两倍？

Question

有人告诉我，第一段代码在性能方面比第二段差。

但是，老实说，如果最终拨打相同的电话，我真的无法弄清楚它们有何不同。我错过了什么吗？

第一个显式调用示例：

#let rec max l =
match l with
x::[]->x
| x::xs -> if(x > max xs) 
     then x else max xs;;

第二个使用变量的例子：

#let rec max l =
match l with
x::[]->x
| x::xs -> let m = max xs
in
if (x>m) then x else m;;

Answer 1

关键是 ocaml 编译器不知道max xs并且max xs是同一件事，所以你的第一个例子相当于：

let rec max l =
  match l with
   | x::[]-> x
   | x::xs ->
     let m1 = max xs in (* first call *)
     if (x > m1) then
       x
     else
       let m2 = max xs in
       m2 (* second call *)
;;

只进行一次调用是一种有效的优化，但在一般情况下是不正确的。例如：

let f () =
  print_endline "hello";
  print_endline "hello";
  3

不等于：

let g () =
  let x = print_endline "hello" in
  x;
  x;
  3