में इसके वैकल्पिक तर्क मानते हैं कि एक फ़ंक्शन bind
में एक लेबल तर्क, वैकल्पिक तर्क और अनसुलझा तर्क हैं, और आप m
विधि को परिभाषित करना चाहते हैं जो bind
के अनबमित तर्क लागू करता है और आंशिक रूप से लागू फ़ंक्शन देता है, ताकि m
का उपयोगकर्ता bind
के लेबल किए गए या वैकल्पिक तर्क लागू कर सकते हैं। आप यह कैसे करते हैं? बस method m = bind a b [...] z
लिखने से संकलक को लगता है कि वैकल्पिक तर्क छोड़े गए हैं।फ़ंक्शन को कैसे घुमाएं w.r.t. OCaml
उत्तर
वैकल्पिक तर्कों की स्थिति (फ़ंक्शन घोषणा या फ़ंक्शन प्रकार में) महत्वपूर्ण है: वे केवल तब लागू होते हैं जब अगला गैर-वैकल्पिक तर्क लागू होता है।
आप एक पैरामीटर p
का आंशिक आवेदन एक वैकल्पिक पैरामीटर ?o
लागू नहीं करना चाहते हैं, समारोह घोषणा में p
के बाद ?o
डाल दिया।
कंट्रास्ट
# let f ?o p ~z =();;
val f : ?o:'a -> 'b -> z:'c -> unit = <fun>
# f 1;;
- : z:'_a -> unit = <fun> (* ?o applied *)
साथ:
# let f p ?o ~z =();;
val f : 'a -> ?o:'b -> z:'c -> unit = <fun>
# f 1;;
- : ?o:'_a -> z:'_b -> unit = <fun> (* ?o not applied *)
आप परिभाषा क्रम बदलने के लिए, या आंशिक रूप से सभी गैर वैकल्पिक पैरामीटर लागू करना चाहते हैं नहीं करना चाहते हैं, तो आप स्पष्ट रूप से कब्जा करने के लिए की जरूरत है वैकल्पिक पैरामीटर जो पूरी तरह से पारित किए जाएंगे:
# (fun ?o() -> f ?o 1 ~z:2);;
- : ?o:'a -> unit -> unit = <fun>
मामले में आप इसे से परिचित नहीं थे, कॉल स्थल पर ?o
वाक्य रचना इस बात के लिए बहुत आसान है: यह एक 'a option
लेता है और सही बात करता है पारदर्शी रूप से लिए, एक वैकल्पिक तर्क पारित है कि क्या लागू किया है या नहीं, कॉल प्राप्त करने वाला।
मैंने पैरामीटर को उस संपत्ति को संरक्षित करने के लिए जोड़ा है जो वैकल्पिक लोगों के बाद कम से कम एक गैर-वैकल्पिक तर्क है। ऐसा करना संभव नहीं है, लेकिन यह मुश्किल हो जाता है और सलाह नहीं दी जाती है।
- 1. OCaml
- 2. ocaml
- 3. OCaml
- 4. OCaml
- 5. OCaml
- 6. OCaml
- 7. OCaml
- 8. OCaml
- 9. OCaml
- 10. OCaml
- 11. OCaml
- 12. घोस्टस्क्रिप्ट पृष्ठों को घुमाएं
- 13. OCaml
- 14. OCaml
- 15. OCaml
- 16. Ocaml
- 17. OCaml
- 18. OCaml
- 19. OCaml
- 20. OCaml
- 21. OCaml: फ़ंक्शन तर्कों के लिए डिफ़ॉल्ट मान?
- 22. OCaml
- 23. Ocaml
- 24. OCaml
- 25. OCaml
- 26. OCaml
- 27. Ocaml
- 28. OCaml
- 29. OCaml
- 30. Ocaml
अंतिम अनुच्छेद में, विधि परिभाषा में भी अंतिम() पैरामीटर आवश्यक है? – Pteromys
खैर, यह कभी अनिवार्य नहीं है, लेकिन आपको चेतावनी मिलेगी और इसे पूरी तरह से आग लगाने का कोई तरीका नहीं है (क्योंकि आप इसके लिए "अगले गैर-वैकल्पिक तर्क" को पार नहीं कर सकते हैं), इसलिए यह एक गैर-वैकल्पिक प्रकार 'विकल्प' का पैरामीटर। – gasche