确定素数的OCaml程序

为了将来的参考,这里有一个更简单的函数,它的操作方式与您的相同(没有优化,但更短):

let prime n =
    let rec checkZero x d = match d with
        | 1 -> true    
        | _ -> (x mod d <> 0) && checkZero x (d-1)
    in match n with
    | 0 | 1 -> false
    | _ -> checkZero n (n-1) ;;

我发现了那个问题,现在我觉得自己很傻。我希望它能帮助其他与类似问题作斗争的人。

正如@glennsl在对这个问题的评论中所说,我遗漏了一件事 let ... in 必须后跟调用它的表达式 checkZero 由于缺少调用,函数未按预期执行。

if ... then ... else ... 语句,有时执行模式匹配更方便。

以下是我编写的代码(如果代码中有任何错误,请随时告诉我):

let prime : int -> bool
= fun x ->
  match x with
     0 -> false
   | 1 -> false
   | _ -> let a = (x - 1) in
            let rec checkZero a x =
              if (a > 1) then
                match x mod a with
                   0 -> false
                 | _ -> checkZero (a - 1) x
              else
                true
              in
              checkZero a x
;;

不使用条件语句的等效版本为:

let prime : int -> bool
= fun n ->
  match n with
     0 -> false
   | 1 -> false
   | _ -> let a = (n - 1) in
            let rec checkZero a n =
              match a with
                 1 -> true
               | _ -> match n mod a with
                         0 -> false
                       | _ -> checkZero (a - 1) n
              in
              checkZero a n
;;