ओकंपल

Question

में मॉड्यूलर प्रोग्रामिंग मुझे कुछ ऐसा मिला जो मुझे ocaml प्रोजेक्ट पर काम करते समय वास्तव में समझ में नहीं आता है।

मान लीजिए कि मैं ओसीएमएल मानक पुस्तकालय के Array और List मॉड्यूल का उपयोग कर रहा हूं। वे दोनों length फ़ंक्शन को लागू करते हैं लेकिन विभिन्न प्रकार हैं। List मॉड्यूल में, यह अपने प्रकार है:

length: a' list -> int 

और Array मॉड्यूल में, यह प्रकार है:

length: a' array -> int 

लेकिन तब मैं तुम्हें एक ही मॉड्यूल मैं था दोनों में मॉड्यूल का उपयोग करना चाहता था , को लागू करने open कीवर्ड के माध्यम से:

open List 
open Array 

मैं जब एक पर length फ़ंक्शन का उपयोग करने की कोशिश की सूची, संकलन के दौरान मुझे एक प्रकार की त्रुटि थी।
चूंकि ओकैमल एक मजबूत स्थाई रूप से टाइप की गई भाषा है, इसलिए मुझे आश्चर्य है कि क्यों संकलक को पता नहीं था कि मैं सूची मॉड्यूल का लम्बा कार्य चाहता था क्योंकि मैंने घोषणा की कि मैं दोनों का उपयोग कर रहा था।

Answer 1

ओकैमल अपने कार्यों के आधार पर एक फ़ंक्शन या कोई अन्य नहीं चुनता है।

जब आप

open Array 

मॉड्यूल Array के कार्यों लिखना ही नाम के साथ मॉड्यूल List के लोगों मास्किंग कर रहे हैं। जब आप बाद में length फ़ंक्शन को कॉल करते हैं, तो ओकैमल length नामक फ़ंक्शन की तलाश करता है, Array.length पाता है, और शिकायत करता है कि इस फ़ंक्शन में संगत प्रकार नहीं है।

सामान्य तरीका List.length (केवल length के बजाय) को कॉल करना है यदि यह आवश्यक कार्य है।

अधिक आम तौर पर, OCaml नाम अधिक भार (अर्थात दो कार्य या एक ही नाम है, लेकिन अलग तर्क प्रकार के साथ ऑपरेटरों वाले), विशेष रूप से, क्योंकि इस प्रकार निष्कर्ष बहुत कठिन होगा नहीं है।