1

我想知道如何实现以下目标：

  • 将所有“业务逻辑”放在一个文件中
  • 有一个使用该业务逻辑的 main.ml

商业逻辑：

type point = {x:float; y:float;}

let pi_known = 3.141592653589793238462643383279502884197169399375105820974944592307816406286

let percentage_error pi_estimated =
  ((pi_known -. pi_estimated) /. pi_known) *. 100.0

let pi_and_error pi error =
  Printf.sprintf "Pi's value :: %.10f Error rate :: %.10f %.%" pi error

let point_to_string { x = x; y = y } =
  Printf.sprintf "%.2f %.2f" x y

let gen_point xr yr =
  {x=xr; y=yr}

let distance_between_points p q =
  (p.x -. q.x) *. (p.x -. q.x) +. (p.y -. q.y) *. (p.y -. q.y)

let distance_from_origin c =
  distance_between_points c (gen_point 0.0 0.0)

let count_within ~counter:n =
  let rec count_within_aux ~counter:n ~within:m =
    match n, m with
      | 0, m -> m
      | n, m ->
        let cc = gen_point (Random.float 1.0) (Random.float 1.0) in
        let dist = distance_from_origin cc in
        match dist with
          | dist when dist <= 1.0 -> count_within_aux ~counter:(n - 1) ~within:(m + 1)
          | dist when dist > 1.0 -> count_within_aux ~counter:(n - 1) ~within:m
          | _ -> 0 in
  count_within_aux ~counter:n ~within:0

let count_within_stepping ~counter:n ~stepping:s =
  let rec count_within_stepping_aux ~counter:n ~within:m ~acc:acc =
    match n, m, acc with
      | n, m, acc when n <= 0 -> m
      | n, m, acc ->
          let c = count_within s in
          let pi = ((float_of_int m) /. (float_of_int acc)) *. 4.0 in
          let r = percentage_error pi in
          print_endline (pi_and_error pi r);
          count_within_stepping_aux ~counter:(n-s) ~within:(m+c) ~acc:(acc+s) in
  count_within_stepping_aux ~counter:n ~within:0 ~acc:0

pi.mli：

(*
 * Point in a two-dimensional Euclidean space
 *)
type point = {x:float; y:float;}
val point_to_string : point -> string
val gen_point : float -> float -> point
(*
 * 'Euclidean distance or Euclidean metric is the "ordinary" straight-line distance between
 * two points in Euclidean space. With this distance, Euclidean space becomes a metric space.
 * The associated norm is called the Euclidean norm.
 * Older literature refers to the metric as Pythagorean metric.'
 * https://en.wikipedia.org/wiki/Euclidean_distance
 *)
val distance_between_points : point -> point -> float
val distance_from_origin : point -> float
val count_within : counter:int -> int
val count_within_stepping : counter:int -> stepping:int -> int
val percentage_error : float -> float
val pi_and_error : float -> float -> string

主要.ml：

let main () =
  Random.self_init();
  let num_iter = Sys.argv.(1) in
  let n = int_of_string num_iter in
  print_endline ("Number of iterations :: " ^ num_iter);
  let pi_estimated = ((float_of_int (Pi.count_within_stepping n (n / 20))) /. (float_of_int n)) *. 4.0 in
  let r = Pi.percentage_error pi_estimated in
  print_endline (Pi.pi_and_error pi_estimated r)

let () =
  main ()

_绿洲：

Name: Pi
Version: 0.1
Synopsis: Nope
Authors:
  Istvan <istvan@mail.tld>
License: MIT
Homepage: http://0.0.0.0
OASISFormat: 0.4
BuildTools: ocamlbuild
Plugins: META (0.4), DevFiles (0.4)
Executable "pi"
  Path: src
  MainIs: main.ml
  CompiledObject: best
  BuildDepends:
    str,unix

不幸的是，当我编译并运行它时，它什么也不返回，而如果我合并 main.ml 和 pi.ml 它按预期工作。我错过了什么？

更新：

将 mli 文件添加到项目并按照@gallais 的建议更改 main.ml 后，它按预期工作。

4

1 回答 1

0

事实证明，使用模块需要 mli 文件。需要 src/x.ml 和 src/x.mli。如果存在这些文件，则可以从 main.ml 引用 X。

于 2017-09-14T07:47:30.617 回答