compiler-errors - 键入int ref但应为int

Question

let nombredeCubes = ref 0  in
for i = 1 to 17 do
   nombredeCubes := nombredeCubes + i*i*i
   i := i+1
done;
print_int nombredeCubes;

当我尝试编译此代码时，出现以下错误:

line 3, characters 20-33:
Error: This expression has type int ref
       but an expression was expected of type int

但是我不明白为什么。我的意思是为什么“for”期望一个int而不是int ref，“for”是一个函数？

Answer 1

您需要使用!运算符来访问ref单元的值:

nombredeCubes := !nombredeCubes + i*i*i

您也不应(也不允许)手动增加 i。 for构造将为您做到这一点。

编辑:使用递归代替突变和命令式编程来解决此问题会更加惯用。它还可以使步伐更加清晰:

let nombredeCubes =
  let rec loop acc = function
  | i when i > 0 -> loop (acc + i*i*i) (i-2)
  | _ -> acc
  in loop 0 17
in print_int nombredeCubes