ocaml

32गर्मी

6उत्तर

जेवीएम पर चलने वाले एफ # कंपाइलर को बनाने और जावा बाइटकोड जेनरेट करने का सबसे आसान तरीका क्या है?

वर्तमान एफ # कंपाइलर एफ # में लिखा गया है, ओपन सोर्स है और नेट और मोनो पर चलता है, जिससे इसे विंडोज, मैक और लिनक्स समेत कई प्लेटफ़ॉर्म पर निष्पादित करने की अनुमति मिलती है। एफ # की Code Quotations तंत

8गर्मी

1उत्तर

OCaml

में सरल बनाने के बाद उत्पाद के प्रकार deconstruct करने के लिए मैं OCaml में इस सरल कोड है असमर्थ: type int_pair = int * int;; type a = A of int_pair;; let extract (A x) = x;; मेरी extract समारोह क

12गर्मी

2उत्तर

η विस्तार

OCaml में, यह .mli में है करने के लिए कानूनी है: val f : 'a -> 'a val g : 'a -> 'a और .ml: let f x = x let g = f एफ # में फिर भी, यह अस्वीकार कर दिया गया है: eta_expand.ml(2,5): error FS0034: Mo

6गर्मी

1उत्तर

__ OCaml में Coq से निकाला

OCaml Coq से निकाला कोड (कुछ मामलों में) भी शामिल है एक प्रकार __ और एक समारोह __ के रूप में परिभाषित इस प्रकार है: type __ = Obj.t let __ = let rec f _ = Obj.repr f in Obj.repr f प्रलेखन का कहना ह

7गर्मी

1उत्तर

Concoqtion (Coq + MetaOCaml) - क्यों छोड़ा गया?

ओकैमल मेलिंग सूची पर लोगों को बग करने से पहले, मैंने सोचा कि मैं यहां अपना प्रश्न पोस्ट कर सकता हूं। मैंने अभी यह beauty (Concoqtion वेबसाइट से लिंक) की खोज की है। Concoqtion MetaOCaml का एक विस्तार ह

5गर्मी

1उत्तर

ओकैम की सूची.मैप में क्यों चल रहा है? इस प्रकार

OCaml 3.12.1 में, List.map लिखा है: let rec map f = function [] -> [] | a::l -> let r = f a in r :: map f l मैं उम्मीद थी कि अंतिम पंक्ति | a::l -> f a :: map f l के रूप में लिखा, लेकिन इस

12गर्मी

2उत्तर

क्या ओसीएमएल में 'स्ट्रिंग' यूटीएफ -8 का समर्थन करता है?

क्या ओसीएमएल utf8 में string टाइप करें? या utf8 स्ट्रिंग के लिए मुझे किस लाइब्रेरी का उपयोग करना चाहिए?

5गर्मी

1उत्तर

ओकैम

में बिटवाईर ऑपरेशंस ओकैमल में बिट-ट्विडलिंग कोड लिखने का सबसे बेवकूफ तरीका क्या है? मुझे बहुत अच्छी Bitstring लाइब्रेरी के बारे में पता है, लेकिन जबकि यह कुछ प्रोटोकॉल में बाइनरी डेटा को पार्स करने का

5गर्मी

1उत्तर

OCaml के साथ मशीन पर कोर की संख्या कैसे प्राप्त करें?

मैं अपने ओकैमल प्रोग्राम में कुछ काम समानांतर कर रहा हूं (parmap के साथ) लेकिन मैं अपने आवेदन में कोर की संख्या को कड़ी मेहनत नहीं करना चाहूंगा। रनटाइम पर कोर की संख्या प्राप्त करने का कोई तरीका है? म

33गर्मी

1उत्तर

हास्केल और ओकैमल में मजेदार कैसे हैं?

मैं पिछले साल या उससे भी ज्यादा के लिए हास्केल में घूम रहा हूं और मैं वास्तव में इसे 'पाने' शुरू कर रहा हूं, जब तक मोनाड्स, लेंस, टाइप परिवार, ... बहुत कुछ नहीं। मैं इस सुविधा क्षेत्र को थोड़ा छोड़ने