OCaml模块：包含AND open？

Question

我是OCaml模块的新手，我没有设法使用我自己的模块，但没有将“include”和“open”结合在一起。 我试图把签名放在单独的.mli文件中，但没有成功。

在下面，我表示最低（不）工作的例子，我试图与

ocamlc -o main Robot.ml main.ml 

编译什么我需要做的，只需要使用“打开”，或者只有“包括“，但不是他们两个？

---

文件 “Robot.ml”：

module type RobotSignature = 
sig 
    val top: unit -> unit 
end 

module Robot = 
struct 
    let top() = 
     begin 
     Printf.printf "top\n" 
     end 
    (* Should not be visible from the 'main' *) 
    let dummy() = 
     begin 
     Printf.printf "dummy\n" 
     end 
end 

文件 “main.ml”（不工作）：

open Robot;; 

top(); 

文件 “main.ml”（工作）：

include Robot;; 
open Robot;; 

top(); 

Answer 1

你有两个级别的机器人。由于您明确地在文件robot.ml中调用了模块“Robot”，因此您需要打开Robot并调用Robot.top（）。 robot.ml文件中的任何内容都已隐式地放置在Robot模块中。

您可以摆脱robot.ml中额外的'module Robot'声明。

robot.ml将成为：

module type RobotSignature = 
sig 
    val top: unit -> unit 
end 


let top() = 
    begin 
     Printf.printf "top\n" 
    end 

那么它应该工作，你必须在你的main.ml.基于下面的评论

更新：如果当你打开机器人的担心，一切在robot.ml现在将是可见的，你可以定义一个robot.mli文件指定哪个是外部可用的功能。例如，假设您在robot.ml添加一个名为帮手功能：

let top() = 
    begin 
    Printf.printf "top\n" 
    end 

let helper() = 
    Printf.printf "helper\n" 

...然后你定义robot.mli如下：

val top: unit -> unit 

然后让我们说你尝试从main调用helper。毫升：

open Robot;; 

top(); 
(* helper will not be visible here and you'll get a compile error*) 
helper() 

然后，当你尝试编译你会得到一个错误：

$ ocamlc -o main robot.mli robot.ml main.ml 
File "main.ml", line 4, characters 0-6: 
Error: Unbound value helper 

Answer 2

你有两种方法可以做到这一点：

• 首先，你可以限制你的子结构必须是正确的签名：

  module Robot : RobotSignature = struct ... end 
  

  然后在main.ml，你可以做open Robot.Robot：第一Robot意味着相关联robot.ml编译单元，第二Robot是你里面robot.ml

• 定义的子模块还可以删除一个台阶，创造robot.mli包含：

  val top: unit -> unit 
  

  和robot.ml含有：

  let top() = 
      Printf.printf "top\n" 
  
  (* Should not be visible from the 'main' *) 
  let dummy() = 
      Printf.printf "dummy\n" 
  

  您可以使用编译模块，然后在main.ml中简单使用open Robot。