OCamlモジュール：包含して開きますか？

Question

私はOCaml Moduleでかなり新しく、 "include"と "open"の両方を組み合わせずに独自のモジュールを使用することはできませんでした。 署名を別の.mliファイルに入れようとしましたが、成功しませんでした。 I以下

私は唯一の「開く」を使用する必要があり、あるいはのみ "を行うために必要なものを私は

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

あなたは2つのレベルのロボットを持っています。ロボットrobot.mlファイル内で明示的にモジュール "ロボット"を呼び出したので、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ファイルを定義できます。その後のはあなたを言わせ

val top: unit -> unit 

を：たとえば、あなたがrobot.mlにヘルパーと呼ばれる機能を追加しましょう：

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

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

...と、以下のように、あなたはあなたのrobot.mliを定義しますメインからヘルパーに電話しよう。ミリリットル：次に

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

あなたがこれを行うには、2つの方法があります。

• まず、あなたを制約することができます適切な署名であるサブ構造：

  module Robot : RobotSignature = struct ... end 
  

  が続いmain.mlに、あなたがopen Robot.Robot行うことができます：最初のRobotはrobot.mlに関連したコンパイル単位を意味し、二Robotはあなたにも含むrobot.mliを1つのレベルを削除し、作成することができますが、robot.ml

• 内で定義されているサブモジュールである。

  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を単に使用してモジュールをコンパイルできます。