ओकैमल पैक किए गए मॉड्यूल के अच्छे उपयोग क्या हैं?

Question

हाल OCaml 3.12 परिचय प्रथम श्रेणी के पैक मॉड्यूल के एक feature:

प्रथम श्रेणी संकुल मॉड्यूल। पैक मॉड्यूल के लिए प्रकार अभिव्यक्ति, की

• नई तरह: (module PT)
• अभिव्यक्ति की नई तरह, एक प्रथम श्रेणी मूल्य के रूप में एक मॉड्यूल पैक करने के लिए: (module MODEXPR : PT)।
• मॉड्यूल के रूप में प्रथम श्रेणी मान को अनपैक करने के लिए नई प्रकार की मॉड्यूल अभिव्यक्ति: (val EXPR : PT)।
• पीटी S या S with type t1 = ... and ... and type tn = ... (S एक मॉड्यूल प्रकार को संदर्भित करता है) का एक पैकेज प्रकार है।

मुझे इस सुविधा का उपयोग करके प्रेरक उदाहरण या कागजात कहां मिल सकता है?

Answer 1

मेरा मानना ​​है कि कैनोलिक प्रेरक उदाहरणों में से एक समान रनचर पर उपलब्ध जानकारी के आधार पर एक ही हस्ताक्षर को लागू करने वाली विभिन्न संरचनाओं के बीच चयन कर रहा है।

उदा।, मानचित्र के कार्यान्वयन के रूप में हैशटेबल और संतुलित बाइनरी पेड़ के बीच चयन करना।

वहाँ कम से कुछ जानकारी है: https://forge.ocamlcore.org/docman/view.php/77/112/leroy-cug2010.pdf

मेरा मानना ​​है कि OCaml डिजाइन क्लाउडियो रूसो द्वारा एसएमएल के लिए एक समान विस्तार से प्रभावित था - देखना उदा "मानक एमएल के लिए प्रथम श्रेणी के संरचना" http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.34.8754&rep=rep1&type=pdf