Ocaml这个';(';可能是无与伦比的

Ocaml这个';(';可能是无与伦比的,ocaml,Ocaml,刚接触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.

刚接触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

关键字
mod
是一个二进制运算符(如
lsl
lsr
asr
land
lor
lxor

let zero = 2 mod 2
二进制运算符可以通过用括号括起来转换为标准函数

let zero = (mod) 2 2
这就是为什么解析器希望在
(mod
之后有一个右括号

然后,模式匹配是错误的,因为
n mod 2==0
是一个表达式,而不是一个模式(您应该使用结构等式
=
,而不是物理等式
=
):


使用
if…then…else…

可能更简单,您的意思是
将mod n2与| 0->…;1->;
匹配吗?
let f n = match n mod 2 with
| 0 -> ...
| _ -> ...
let f n = match n mod 2 = 0 with
| true -> ...
| false -> ...