迷彩这个'（'可能不匹配

Question

Ocaml的新手。我不知道这里发生了什么，我已经尝试解决了大约2个小时。

代码如下：

let hailstorm n = 
    match n with
    | (mod n 2 == 0) -> (n/2)
    | (mod n 2 == 1) -> (3*n+1);;

当我尝试编译时说：

File "./x.ml", line 3, characters 11-12:Error: Syntax error: ')' expected
File "./x.ml", line 3, characters 6-7:
Error: This '(' might be unmatched

Answer 1

关键字mod是二进制运算符（例如lsl，lsr，asr，land，lor，{{1} }和lxor）。例如，

or

二进制运算符可以通过将其括在括号内而转换为标准函数，

let zero = 2 mod 2

这就是为什么解析器期望在let zero = (mod) 2 2 之后加上右括​​号。

然后，模式匹配是错误的，因为(mod是一个表达式，而不是模式（并且应该使用结构相等n mod 2 == 0而不是物理相等=）：

==

或

let f n = match n mod 2 with
| 0 -> ...
| _ -> ...

使用let f n = match n mod 2 = 0 with | true -> ... | false -> ... 可能更简单。