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

Question

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 के रूप में लिखा, लेकिन इसके बजाय, वहाँ एक उचित रूप में बेकार let बाध्यकारी है। क्यूं कर?

Answer 1

मुझे विश्वास है कि यह मानचित्र के लिए फ़ंक्शन एप्लिकेशन के आदेश की गारंटी देने के लिए है। ओकैमल में सरल अभिव्यक्तियों के मूल्यांकन का आदेश अनिर्दिष्ट है, इसलिए let के बिना सूची के तत्वों के लिए f के अनुप्रयोगों का क्रम निर्दिष्ट नहीं किया जाएगा। चूंकि ओकैमल एक शुद्ध भाषा नहीं है, इसलिए आप वास्तव में आदेश निर्दिष्ट करना चाहते हैं (f को पहले सूची के शीर्ष पर बुलाया जाता है, और फिर रिकर्सिव पर)।