क्या


11

मैं वर्तमान में लैंबडा कैलकुलस सीख रहा हूं और लैम्बडा शब्द लिखने के बारे में सोच रहा था।

  1. λएक्सyएक्सy
  2. λएक्सλyएक्सy

क्या अर्थ में कोई अंतर है या आप जिस तरह से बीटा कमी को लागू करते हैं, या वे एक ही चीज को व्यक्त करने के सिर्फ दो तरीके हैं?

विशेष रूप से जोड़ी निर्माण की इस परिभाषा ने मुझे आश्चर्यचकित कर दिया:

pair = λएक्सyλपीपीएक्सy

जवाबों:


15

ये सिर्फ नोटिस के अंतर हैं। , λ x के लिए छोटा है λλ जेड टी । यहां कोई जादू नहीं।λएक्सyzटीλएक्सλyλzटी

वास्तव में, लेकिन आप उस जोड़ी पर जोर देते हैंजोड़ा=λएक्सyपीपीएक्सy एक फ़ंक्शन है λ p p t u जिस तरह से आप परिभाषा लिखते हैं, उसे बदलकर। लेकिन यह वास्तव में ऐसा ही है।जोड़ाटीयूλपीपीटीयू


17

पहला दूसरे के लिए एक संक्षिप्त नाम है। यह अभिव्यक्ति को छोटा करने के लिए एक सामान्य वाक्यात्मक सम्मेलन है।

दूसरी ओर, यदि आपके पास भाषा में ट्यूपल हैं, तो इसके बीच अंतर है

  1. औरλएक्सλyएक्सy
  2. λ(एक्स,y)एक्सy

पूर्व मामले में मैं फ़ंक्शन को एक तर्क प्रदान कर सकता हूं, और परिणामी फ़ंक्शन को अन्य कार्यों के लिए पास कर सकता हूं। बाद के मामले में, दोनों तर्कों को एक बार में आपूर्ति की जानी चाहिए। बेशक, एक फ़ंक्शन है जिसे 1 को 2 में बदलने के लिए और इसके विपरीत में लागू किया जा सकता है। इस प्रक्रिया को (अन) करी के रूप में जाना जाता है ।

जोड़ाλ


2

एक फ़ंक्शन को बदलना जो एकल तर्कों के साथ कई तर्कों को फ़ंक्शन की श्रृंखला में ले जाता है, जिसे करी कहा जाता है । दो कार्य अनिवार्य रूप से समान हैं।

करीने के बारे में विकिपीडिया लेख


8
λएक्सyएक्सyλएक्सλyएक्सy
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.