在 OCaml 中使用长度函数

Question

我开始学习 OCaml，但我一直被一个简单的问题所困扰。 我试图用一个简单的循环来计算我在 6 行文件中的字母数。 这是我的代码：

let fi = open_in "example";;
let string = "";;
let nb_carac = 0;;

for i = 0 to 6 do
  string = input_line fi; 
  nb_carac = (nb_carac + String.length(string));
  done;;

问题是，它似乎没有计算任何东西并直接到达EOF。 我收到以下错误消息：

Warning 10: this expression should have type unit.
Warning 10: this expression should have type unit.
Exception: End_of_file.

我真的不明白。我已经单独尝试了每一行，它们都有效。我做错了什么？

谢谢！

Answer 1

OCaml 没有可变 变量。您应该使用tail recursion 或references。阅读任何基本的 OCaml 教科书或教程。

两行：

string = input_line fi; 
nb_carac = (nb_carac + String.length(string));

被理解为无用的相等测试（这解释了您收到的警告）。

也许你想要：

(* shameful *)
let string = ref "";;
let nb_carac = ref 0;;

然后例如

(* shameful *)
string := input_line fi;
nb_carac := !nb_carac + String.length(!string);

但如果你用像 OCaml 这样的函数式语言如此命令式地编写代码，你的成绩应该会很差。

根据经验，在 OCaml 中编码时应避免改变数据。当然，这条规则也有重要的例外。

练习的正确解决方案是使用不会改变任何数据的尾递归函数。查看 OCaml 标准库 stdlib/list.ml 以获得一些灵感。

可能更好的锻炼解决方案始于

let count_lines_and_characters fil = (* incomplete code, fill the ... *)
  let rec ....
  in ....
;;

当然你应该填写....