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

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 ， 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 -> ...

if ... then ... else ...使用if ... then ... else ...可能更简单。