ocaml - ocaml 中阶乘函数的命令式版本有什么问题？

Question

let impfac i = 
  let l = ref i in
  let result = ref 1 in
  let k = ref 2 in
  while !k < !l do
    result := !result * !k
      k:=!k+1
  done;
  !result

错误信息是:

let impfac i = 
  let l = ref i in
  let result = ref 1 in
  let k = ref 2 in
  while !k < !l do
    result := !result * !k
      k:=!k+1
  done;
  !result;;
                Characters 121-123:
      result := !result * !k
                          ^^
Error: This expression is not a function; it cannot be applied
#

Answer 1

result := !result * !k
  k:=!k+1

您在第一行末尾缺少一个分号。因此，它被读作:

result := !result * (!k k:=!k+1)

即它认为您正在尝试以 k:=!k+1 作为参数调用 !k。

这也是为什么您的编辑器将带有 k := !k+1 的行缩进到比它上面的行更靠右的位置。这应该是语法有问题的第一个迹象。