lambda-calculus पर टैग किए गए जवाब

अंतर्निहित प्रश्न: लैम्ब्डा कैलकुलस हमारे लिए क्या करता है कि हम मूल कार्य गुणों और संकेतन के साथ नहीं कर सकते हैं जो आम तौर पर मिडिल स्कूल बीजगणित में सीखा जाता है? सबसे पहले, लैम्बडा कैलकुलस के संदर्भ में सार का क्या अर्थ है? अमूर्त शब्द की मेरी समझ …

18 lambda-calculus  programming-paradigms 

मुझे हाल ही में (कार्यात्मक) प्रोग्रामिंग भाषाओं के पहलुओं को समझने और साबित करने में बेहद दिलचस्पी हो गई है। हालाँकि जैसा कि मैं गहराई से गोता लगाता हूं, जैसे कि कलन, श्रेणी सिद्धांत, और संप्रदायिक शब्दार्थ की बातें उचित स्पष्टीकरण के बिना टटोलना थोड़ा मुश्किल है।λλ\lambda मैं SICP (काफी …

16 reference-request  lambda-calculus  functional-programming  books 

क्या लैम्ब्डा कैलकुलस में अज्ञात कार्यों के लिए कार्यात्मक समीकरणों को हल करने की कोई तकनीक है? मान लीजिए कि मेरे पास पहचान का कार्य अत्यधिक रूप से परिभाषित है: Ix=xIx=xI x = x (है कि है कि समारोह से अपेक्षित व्यवहार के लिए एक समीकरण नीचे लिख कर, है) …

14 lambda-calculus 

मैं एक कार्यान्वयन लिखते समय हिंडले-मिलनर टाइपिंग एल्गोरिथ्म के बारे में पढ़ रहा हूं , और देखें कि जब तक प्रत्येक चर बाध्य है, आपको हमेशा परमाणु प्रकार या प्रकार मिलेंगे जहां तर्क अंतिम प्रकार का निर्धारण करेंगे, जैसे t1 -> t1या (t1 -> t2) -> (t1 -> t2)कहाँ t1और …

14 lambda-calculus  type-theory  typing  type-inference 

क्या कोई मुझे कार्यात्मक शैली में कोड लिखने के फायदे या नुकसान का अध्ययन करने वाले साथियों की समीक्षा करने के लिए संदर्भित कर सकता है? क्या ऐसे कागजात हैं जो मशीन लर्निंग, लैंग्वेज डिज़ाइन आदि जैसे क्षेत्रों में लैम्ब्डा कैलकुलस के अनुप्रयोगों पर चर्चा करते हैं?

14 reference-request  programming-languages  lambda-calculus  functional-programming 

आवेदन का क्रम: हमेशा फ़ंक्शन के मूल्यांकन से पहले किसी फ़ंक्शन के तर्कों का पूरी तरह से मूल्यांकन करें, जैसे - (λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(\lambda x. x^2(\lambda x.(x+1) \ \ 2))) \rightarrow (\lambda x. x^2(2+1))\rightarrow \ (\lambda x. x^2(3)) \rightarrow \ 3^2 \ …

14 logic  lambda-calculus  normal-forms 

लैंबडा कैलकुलस के अधिकांश ट्यूटोरियल उदाहरण प्रदान करते हैं जहां पॉजिटिव इंटेगर और बूलियंस को कार्य द्वारा दर्शाया जा सकता है। क्या -1 और मैं?

14 data-structures  lambda-calculus  integers  real-numbers 

मुझे लगता है कि मैं एक पथरी कहलाने के बारे में बहुत उलझन में हूं और एक प्रोग्रामिंग भाषा क्या कहलाती है। मुझे लगता है, और कहा जा सकता है, कि कैलकुलस कार्यक्रमों की समानता के बारे में तर्क करने के लिए एक औपचारिक प्रणाली है। प्रोग्राम में एक मशीन …

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics 

एक कॉम्बिनेटर अभिव्यक्ति (एसके आधार में बताएं) को एक फ़ंक्शन के रूप में माना जा सकता है जो कॉम्बीनेटर कैलकुलस एक्सप्रेशंस को कॉम्बीनेटर कैलकुलस एक्सप्रेशन में मैप करता है। यह है कि, एक एक अभिव्यक्ति के बारे में सोच सकते हैं एक समारोह के रूप एक्स : एल → एल …

13 lambda-calculus  combinatory-logic 

मैं एक का एक उदाहरण चाहते हैं Quine शुद्ध में लैम्ब्डा पथरी । मुझे काफी हैरानी हुई कि मैं गोग्लिंग से एक नहीं मिला। क्वीन पेज कई "वास्तविक" भाषाओं के लिए सूचीबद्ध करता है, लेकिन लैम्ब्डा कैलकुलस के लिए नहीं। बेशक, इसका मतलब है कि लंबोदा पथरी में एक क्वीन …

13 lambda-calculus 

फंक्शनल प्रोग्रामिंग में बहुत ही सुंदर लैंबडा कैलकुलस और इसके वेरिएंट एक बैकअप सिद्धांत के रूप में हैं। क्या OOP के लिए ऐसा है? ऑब्जेक्ट ओरिएंटेड मॉडल के लिए एक अमूर्त क्या है?

13 terminology  lambda-calculus  functional-programming  object-oriented 

मैंने cstheory.SE पर एक समान प्रश्न पूछा है । Stackoverflow पर इस उत्तर के अनुसार एक एल्गोरिथ्म है कि एक गैर-आलसी शुद्ध कार्यात्मक प्रोग्रामिंग भाषा पर एक जटिलता है, जबकि अनिवार्य प्रोग्रामिंग में समान एल्गोरिथ्म । FP भाषा में आलसीपन जोड़ने से एल्गोरिथम ।Ω(nlogn)Ω(nlog⁡n)\Omega(n \log n)Ω(n)Ω(n)\Omega(n)Ω(n)Ω(n)\Omega(n) क्या उच्च क्रम के …

13 complexity-theory  lambda-calculus  functional-programming  turing-completeness 

सबसे पहले, मैं यह कहना चाहूंगा कि नीचे दिए गए मेरे पाठ में त्रुटियां हो सकती हैं, इसलिए प्रश्न के मेरे सूत्रीकरण में किसी भी तरह की गलतियों को इंगित करने के लिए स्वतंत्र महसूस करें। बूलियनों के साथ एक अप्रकाशित लैम्ब्डा कैलकुलस पर विचार करें और यदि-कथन जिनके वाक्य …

12 programming-languages  lambda-calculus 

मैं संदर्भ-संवेदनशील व्याकरण समझने की कोशिश कर रहा हूँ। मैं समझता हूं कि भाषाएं क्यों पसंद करती हैं { W w | डब्ल्यू ∈ ए*}{ww|w∈ए*}\{ww \mid w \in A^*\} { एnखnसीn| N ∈ एन }{एnखnसीn|n∈एन}\{a^n b^n c^n \mid n\in\mathbb{N}\} संदर्भ मुक्त नहीं हैं, लेकिन क्या मैं जानना चाहूंगा कि अगर …

12 formal-grammars  programming-languages  lambda-calculus  context-sensitive 

मैं कंकम्पस ऑफ कंस्ट्रक्शंस और लैंबडा क्यूब में इसके स्थान को देख रहा हूं । अगर मैं सही ढंग से , तो क्यूब के प्रत्येक अक्ष को एक अन्य ऑपरेशन को जोड़ने के बारे में सोचा जा सकता है, जिसमें बस टाइप किए गए कैलकुलस, प्रकार शामिल हैं । पहला …

11 terminology  lambda-calculus  type-theory  dependent-types