OCaml打印语句

Question

是否可以将用于调试/测试的打印语句放在代码块中？ 例如，在Java中，您可以在方法中间使用System.out.println("")来检查变量或其他内容，但是在OCaml中，像print_string这样的命令可以工作吗？ 它不会返回单位类型的值，从而导致错误，而不是允许您打印它吗？

Answer 1

如果将打印内容嵌入表达式序列中，将会很好。

更新

这是一个具体示例，因为上面的答案很短，而且，仅带有链接的答案不是很好的答案。 这是阶乘的经典尾递归公式（是的，很无聊，但是很熟悉）：

# let fac n =
  let rec f i n acc =
    if i >= n
    then acc
    else (Printf.printf "%8d%8d%8d\n" i n acc; f (i+1) n ((i+1)*acc))
  in
    f 0 n 1;;
val fac : int -> int = <fun>
# fac 5;;
       0       5       1
       1       5       1
       2       5       2
       3       5       6
       4       5      24
- : int = 120

在这里，您可以看到打印的副作用，但是结果仍然是预期的120。

Answer 2

由于OCaml并不是纯函数式语言，因此有很多方法可以做到这一点。 这是我编写此类代码的方式，仅作为一个具体示例。

let rec mylength list =
(* DEBUG *)
let () = Printf.printf "mylength here, null list: %b\n%!" (list = [])
in
(* DEBUG *)
    match list with
    | [] -> 0
    | _ :: rest -> 1 + mylength rest

完成后，您可以删除（* DEBUG *）注释中的内容。

注意％的使用！ 刷新缓冲区。 如果您像我一样使用printf进行了大量调试，了解这一点真的很有用。

Answer 3

这是一个简单的示例，显示Ray Toal的答案中提到的表达序列不一定要在它们周围加上括号：

let get_a_string = 
  let a_string = "a string" in
  (* The semicolon causes the return value of the statement to be discarded *)
  Printf.printf "Debug: %s\n" a_string; 
  a_string

let () = Printf.printf "Result: %s\n" get_a_string

丢弃函数返回值的另一种方法是使用ignore ：

ignore (Printf.printf "Debug info");