OCaml Module: incluir AND open?

Question

Soy bastante nuevo con OCaml Module y no he podido utilizar mi propio módulo sin combinar tanto un "incluir" como un "abrir". He intentado poner la firma en un archivo .mli separado, sin éxito.

A continuación me indicaron un mínimo (no) ejemplo de trabajo, que estoy tratando de compilar con

ocamlc -o main Robot.ml main.ml 

Lo que tengo que hacer sólo para tener que usar "abrir" o sólo " incluir ", pero no ambos?

---

Archivo "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 

Archivo "main.ml" (no funciona):

open Robot;; 

top(); 

Archivo "main.ml" (de trabajo):

include Robot;; 
open Robot;; 

top(); 

Answer 1

Tienes dos niveles de Robot. Como llamó explícitamente a su módulo "Robot" dentro del archivo robot.ml, necesitará abrir Robot y luego llamar a Robot.top(). Cualquier cosa en el archivo robot.ml ya está implícitamente dentro de un módulo Robot.

Puede deshacerse de la declaración adicional 'módulo Robot' en robot.ml.

robot.ml se convertiría en:

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


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

entonces debería funcionar como lo tienes en tu main.ml.

Actualización basada en comentarios a continuación: Si está preocupado de que todo en robot.ml ahora será visible cuando se abra 'Robot' se puede definir un archivo robot.mli que especifica las funciones que están disponibles externamente. Por ejemplo, digamos que se agrega una función llamada ayudante en robot.ml:

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

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

... y luego definiría su robot.mli de la siguiente manera:

val top: unit -> unit 

Entonces digamos que usted intenta llamar a ayudante desde main.ml:

open Robot;; 

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

Luego, cuando intenta compilar obtendrá un error:

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

Answer 2

tienes dos maneras de hacer esto:

• En primer lugar, puede restringir su subestructura para que sea de la firma correcta:

  module Robot : RobotSignature = struct ... end 
  

  Luego, en main.ml, se puede hacer open Robot.Robot: la primera Robot significa que la unidad de compilación asociada a robot.ml, la segunda Robot es el submódulo que ha definido el interior robot.ml

• También puede eliminar de una sola planta y crear robot.mli que contiene:

  val top: unit -> unit 
  

  y robot.ml que contiene:

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

  Puede compilar los módulos usando y luego en main.ml simplemente use open Robot.