0

semicolon (single and double)好吧，我在使用nested if elseOCaml 时遇到了问题。

例如

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. 我可以begin end在里面使用多个nested if吗？

  3. else如果结果是，我似乎不需要添加unit and do nothing？

4

1 回答 1

5

问题是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)
于 2013-02-07T17:35:19.890 回答