如何在 OCaml 中打印和读取文件

Question

我从一开始就关注 John Whitington 的书OCaml。在第 91-92 页中，他讨论了如何从 OCaml 打印和读取值。他声称代码

let rec read_dict()=
  let i=read_int () in
  if i=0 then
    [] 
  else
    let name=read_line in 
    (i, name):: read_dict ();;

read_dict();;

应该让我获取一些输入整数值和字符串值，然后返回给我一个包含对的列表。但是我不能在我的电脑上执行代码，也不能在 Try Ocaml 网站上成功执行。请问有什么问题吗？

我在 Windows IDE 中的 OCaml 顶层、Ubuntu 上的 utop 以及网站中的 Try OCaml 中进行了尝试。在第一个实例中，程序继续运行，什么也没有出现。在第二个中，它需要值但永远不会结束。在第三种情况下，它接受值，但是当我给一个字符串值时给我一条错误消息，如 One.

Answer 1

将let name=read_line in 替换为let name = read_line () in，它应该可以在命令行上运行（虽然不是在顶层，这会与stdin 混淆）。

输入应该类似于

1
one
2
two
0

Answer 2

让我们一步一步地尝试。首先创建一个名为input_dict.ml 的文件，然后在您喜欢的文本编辑器中打开它。

然后输入如下代码：

open Printf

let rec read_dict () =
  let i = read_int () in
  if i = 0 then [] else
    let name = read_line () in
    (i, name) :: read_dict ()

(* The entry point. Read a dictionary and print it out. *)
let _main : unit =
  let dict = read_dict () in
  printf "dict = { ";
  List.iter (fun (i,n) -> printf "%d => %s; " i n) dict;
  printf " }\n"

我在最后添加了一些打印，您可以确定它可以正常工作。

现在保存文件，进入 shell，确保您在包含文件的目录中，然后使用命令编译并运行您的程序：ocamlbuild input_dict.byte --。 （这两个尾随破折号指示ocamlbuild 在编译后运行程序）。最后看起来像这样：

$ ocamlbuild input_dict.byte --
42
Hello
56
World
0
dict = { 42 => Hello; 56 => World;  }

请注意，您不应在交互模式下运行此程序，因为您的输入将被 OCaml 解释器“吃掉”。