ओकैमल मॉड्यूल: शामिल और खोलें?

Question

मैं ओकैमल मॉड्यूल के साथ बिल्कुल नया हूं और मैंने "इन" और "ओपन" दोनों को संयोजित किए बिना अपने मॉड्यूल का उपयोग करने में कामयाब नहीं रहा है। मैंने सफलता के बिना, एक अलग .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.top() को कॉल करना होगा। Robot.ml फ़ाइल में कुछ भी रोबोट मॉड्यूल के अंदर पहले से ही डाल दिया गया है।

आप robot.ml में अतिरिक्त 'मॉड्यूल रोबोट' घोषणा से छुटकारा पा सकते हैं।

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

आप दो तरह से यह करने के लिए है:

• सबसे पहले, आप विवश कर सकते हैं अपने उप-संरचना सही हस्ताक्षर होने के लिए:

  module Robot : RobotSignature = struct ... end 
  

  फिर main.ml में, आप open Robot.Robot कर सकते हैं: पहला Robot मतलब है robot.ml से जुड़े संकलन इकाई, दूसरी Robot submodule आप अंदर 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 का उपयोग मॉड्यूल संकलन कर सकते हैं।