OCaml 中的分号和嵌套 if 表达式

Question

好吧，我在 OCaml 中使用 semicolon (single and double) 和 nested if else 时遇到问题。

例如

---

let union u p q = 
  let rec unionfy id_ary i =
    if i < Array.length id_ary then begin 
      if id_ary.(i) = p then begin 
        id_ary.(i) <- id_ary.(q);
        print_array id_ary 0;
      end
      unionfy id_ary (i + 1);
    end 
    else print_string "end of union";
  in
  unionfy u.id_ary 0;;

---

编译器说line 18, characters 29-95: Error: This expression is not a function; it cannot be applied

有问题的线路是if id_ary.(i) = p then begin，但我不明白为什么。

---

另外，谁能告诉我更多关于semicolon 和nested if else 的信息？

我想到了一些问题：

1. 什么时候使用single semicolon？如果我将它用于多个表达式，是否必须在最后一个表达式后添加 double semicolon？

2. 我可以在nested if 中使用多个begin end 吗？

3. 如果结果是unit and do nothing，好像不需要加else？

Answer 1

问题是end。在这种情况下，整个if 表达式应返回unit，因此您需要在表达式末尾使用分号。另一个end 不需要它，因为if 表达式继续else 子句。下面，我已经删除了不必要的分号并添加了剩余的分号，

let union u p q = 
  let rec unionfy id_ary i =
    if i < Array.length id_ary then begin 
      if id_ary.(i) = p then begin 
        id_ary.(i) <- id_ary.(q);
        print_array id_ary 0
      end;
      unionfy id_ary (i + 1)
    end 
    else print_string "end of union"
  in
  unionfy u.id_ary 0;;

编辑：“规则”实际上是 OCaml 中分号的定义。它分隔返回unit 的顺序表达式。 begin ... end 之间的内容是单数表达式。整个if 表达式也是一个表达式，但由多个表达式组成。所以第一个if 语句中包含的两个语句是，

  if id_ary.(i) = p then begin ... end;
  unionfy id_ary (i + 1)