OCaml मानों को अपूर्ण के बाहर मुद्रित कैसे किया जा सकता है?

Question

ओकैमल प्रतिकृति ("टोपलवेल") में किसी भी प्रकार, उपयोगकर्ता द्वारा परिभाषित या अन्यथा के लिए समृद्ध प्रिंटिंग है। क्या किसी के अपने स्वयं के सेट के लिए मूल्य प्रिंटर का एक पूरी तरह से कस्टम सेट लिखने के बजाय, इस कार्यक्षमता को अपरिपक्व के बाहर एक्सेस करना संभव है?

Answer 1

सुंदर मुद्रण सुविधा अपूर्ण पुस्तकालय का हिस्सा है। आपको toplevel/genprintval.ml में स्रोत मिलेगा। यह समझ में आता है कि इस प्रकार की जानकारी की आवश्यकता है: आप उस पर कोई मूल्य नहीं फेंक सकते हैं, सुंदर प्रिंटर की पसंद इस प्रकार पर आधारित है।

आप अपने प्रोग्राम में इस कोड का उपयोग करना चाहते हैं, तो आप उच्चस्तरीय पुस्तकालय (toplevellib.cma) के साथ लिंक करने के लिए genprintval में संकलन (प्रकार चेकर के लिए पर्याप्त बिट्स में लाने प्रकार का विश्लेषण करने, जिसका अर्थ है, यह कर सकते हैं की जरूरत है या करेंगे बहुत बड़ा हो)।

डीबगर (debugger/printval.ml और debugger/loadprinter.ml) में एक समान सुविधा है (लेकिन मुझे लगता है कि कोड साझा नहीं कर रहा है)।

तीसरे पक्ष के पुस्तकालय हैं जिन्हें आप सीधे लिंक कर सकते हैं और जो सुंदर मुद्रण सुविधाएं प्रदान करते हैं। Extlib का Std.dump एक बहुत ही कच्ची सुविधा प्रदान करता है (प्रकार के आधार पर नहीं)। जेरेमी येलोप और जेक डोनहम द्वारा Deriving एक और दृष्टिकोण है। This Caml Weekly News item अधिक सुझाव प्रदान करता है।

Answer 2

ओकैमल बैटरी शामिल पुस्तकालय में इसके BatPervasives मॉड्यूल में dump फ़ंक्शन शामिल है। यह किसी भी मूल्य को एक स्ट्रिंग में परिवर्तित करता है और इसे वापस करता है। आप इसका स्रोत कोड here देख सकते हैं। आउटपुट अपरिवर्तनीय के समान नहीं होगा, क्योंकि रनटाइम पर कुछ जानकारी खो जाती है, उदा। सार डेटा प्रकार कन्स्ट्रक्टर पूर्णांक बन जाएगा।