आप कैसे कहते हैं \ x -> y`?

Question

अभिव्यक्ति \x -> y आमतौर पर हास्केल प्रोग्रामर द्वारा उच्चारण कैसे किया जाता है?

मैं पूछता हूं क्योंकि मैं सामान्य रूप से "लैम्ब्डा ईक्स डॉट क्यों" कहता हूं, क्योंकि यह सामान्य संदर्भ में λx.y लिखा गया है और मुझे पुस्तकें और नोट्स के माध्यम से लैम्ब्डा कैलकुस में पेश किया गया था, बिना किसी को भाषण में शब्दों का अनुवाद करने के लिए। लेकिन यह हास्केल में एक बिंदु नहीं, एक बिंदु है।

मैं समझता हूं कि कंप्यूटर-साइंस लोग अक्सर भाषण में डॉट को बढ़ाते हैं ("लैम्ब्डा ईक्स [शॉर्ट पॉज़] वाई")। एफ # और सी # प्रोग्रामर, वेब मुझे बताता है, अक्सर समकक्ष अभिव्यक्ति x => y के रूप में उच्चारण करता है "eks जाता है क्यों।" मुझे नहीं पता कि अन्य संदर्भों में समान निर्माण कैसे कहा जाता है।

तो हास्केलर्स के बीच यह है "लैम्ब्डा एक्स तीर क्यों," या क्या?

Answer 1

मैं आमतौर पर इसे "लैम्ब्डा एक्स टू वाई" के रूप में उच्चारण करता हूं। यह बहुत छोटा है और आप इसे टेक्स में टाइप करेंगे: \lambda x \to y। (एक प्यारा नोट के रूप में, मेरे पास मेरे संपादक में एक टीईएक्स इनपुट मोड है, इसलिए मैं λ x → y प्राप्त करने के लिए उपरोक्त टाइप कर सकता हूं।: पी)

यह कहा गया कि, मुझे यकीन है कि अगर आप "lambda" एक्स डॉट वाई "- अधिकांश लोग उस नोटेशन से कम से कम परिचित हैं और यह अनुमान लगाने में बहुत आसान है कि आप संदर्भ से क्या मतलब रखते हैं।

मैंने कभी नहीं सुना है कि कोई भी "जाता है" हालांकि।

Answer 2

अपने लिए जवाब दे रहा है: मेरे दिमाग में मैं अक्सर इसे "x जाता है" या बस "x to y" के रूप में कहता हूं - लेकिन मुझे लगता है कि यह कुछ सामान्य उच्च आदेश कार्यों के लिए थोड़ा सा अनुकूल है। यदि आपके पास map (\x -> (x * 2) - 1) foo था, तो मैं इसे "मानचित्र x से x times दो minus one foo" के रूप में सोचूंगा। हालांकि, filter (\x -> x /= 6) foo जैसे कुछ के लिए मैं इसे "फ़िल्टर x, x 6 के बराबर नहीं करता, foo पर" के रूप में पढ़ता हूं - प्रभावी रूप से, तीर उस मामले में अल्पविराम बन जाता है।