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

मैं वर्तमान में लैंबडा कैलकुलस सीख रहा हूं और लैम्बडा शब्द लिखने के बारे में सोच रहा था। λ x y। x यλएक्सy।एक्सy\lambda xy.xy λ x । λ य। x यλएक्स।λy।एक्सy\lambda x.\lambda y.xy क्या अर्थ में कोई अंतर है या आप जिस तरह से बीटा कमी को लागू करते हैं, …

11 logic  lambda-calculus 

मैं प्रकार के सार्वभौमिक और अस्तित्वगत मात्राकरण के उद्देश्य को समझने के लिए संघर्ष कर रहा हूं। मैं निर्माणों की गणना के आधार पर एक खिलौना भाषा लिखने के साथ खेल रहा हूं । मैं मोर्टे और हेंक के बारे में पढ़ रहा हूं ताकि मुझे बेहतर समझ मिल सके। …

11 lambda-calculus  type-theory  calculus-of-constructions 

यह मेरे ध्यान में लाया गया था कि ओकेएमएल जैसी कार्यात्मक भाषा में प्रकार के अनुमान की लागत बहुत अधिक हो सकती है। दावा यह है कि अभिव्यक्ति का एक क्रम ऐसा है कि प्रत्येक अभिव्यक्ति के लिए अभिव्यक्ति की लंबाई पर संबंधित प्रकार की लंबाई घातीय है। मैंने नीचे …

11 lambda-calculus  type-theory  functional-programming  type-inference  type-checking 

विशेष रूप से, यदि मैंने एक नया K2K2K_2 को K2=λx.(λy.y)K2=λx.(λy.y)K_2 = \lambda x. (\lambda y. y) रूप में परिभाषित किया है । ( Λ y । Y ) के बजाय K=λx.(λy.x)K=λx.(λy.x)K = \lambda x. (\lambda y. x) हैं {S,K2,I}{S,K2,I}\{S, K_2,I\} -calculus एक प्रतिस्पर्धा आधार हो सकता है? मेरा अनुमान है …

10 lambda-calculus  combinatory-logic 

चलो हो में -Reduction -calculus। द्वारा -expansion परिभाषित करें ।→ बीटा→β\to_\beta बीटा β\betaλ λ\lambdaबीटा β\beta← बीटा ←β\leftarrow_\betaटी ' ← बीटा टी⟺टी → बीटा टी 't′←βt⟺t→βt′t'\leftarrow_\beta t \iff t\to_\beta t' क्या संगम है? दूसरे शब्दों में, क्या हमारे पास ऐसा कोई भी , यदि , तो मौजूद जैसे कि ?← बीटा←β\leftarrow_\beta …

10 lambda-calculus  term-rewriting 

मुझे नहीं पता कि इस सवाल को और कहां से पूछा जाए, मुझे उम्मीद है कि यह एक अच्छी जगह है। मैं यह जानने के लिए उत्सुक हूं कि क्या इसका लैम्ब्डा कैलकुलस जनरेटर बनाना संभव है; अनिवार्य रूप से, एक लूप जो अनंत समय को देखते हुए, हर संभव …

10 lambda-calculus 

मैंने आज सीखा कि एल्गोरिथम विश्लेषण कम्प्यूटेशनल मॉडल के आधार पर भिन्न होता है। यह ऐसा कुछ है जिसके बारे में मैंने कभी नहीं सोचा या इसके बारे में नहीं सुना। एक उदाहरण मुझे दिया गया है, जो कि उपयोगकर्ता @chi द्वारा इसे आगे चित्रित करता है : जैसे कार्य …

10 complexity-theory  algorithm-analysis  computability  computation-models  lambda-calculus 

सेल्फ टाइप्स कंस्ट्रक्टस ऑफ कंस्ट्रक्शंस [1] का एक विस्तार है, जो भाषा को स्कॉट एनकोडिंग के माध्यम से एन्कोड किए गए बीजीय डेटाैटिप्स को व्यक्त करने की अनुमति देता है। स्कॉट एन्कोडिंग एक को पैटर्न-मैच करने की क्षमता प्रदान करता है O(1), जो सीसी पर आगमनात्मक परिभाषाओं के समावेश के …

10 lambda-calculus  type-theory  functional-programming  inductive-datatypes 

पीटर सेलिंगर के अनुसार , लैंबडा कैलकुलस अलजेब्रासिक (पीडीएफ) है। इस लेख में वह कहता है: लैम्ब्डा कैलकुलस की संयुक्त व्याख्या को अपूर्ण माना जाता है, क्योंकि यह -rule को संतुष्ट नहीं करता है : व्याख्या के तहत, अर्थ (Barendregt, 1984) नहीं है।ξξξM=NM=NM = Nλx.M=λx.Nλx.M=λx.N\lambda x.M = \lambda x.N प्रशन: …

10 terminology  lambda-calculus  combinatory-logic 

मैं एक छोटे से लैम्ब्डा कैलकुलस कंपाइलर पर काम कर रहा हूं, जिसमें एक काम करने वाला हिंडले-मिलनर टाइप इंट्रेंस सिस्टम है और अब यह रिकर्सिव लेट्स (लिंक्ड कोड में नहीं) का भी समर्थन करता है, जो मुझे समझ में आता है कि इसे पूरा करने के लिए पर्याप्त होना …

10 lambda-calculus  type-theory  type-inference 

मैं अगले पतन के लिए एक स्नातक कंप्यूटर विज्ञान पाठ्यक्रम शुरू कर रहा हूं, लेकिन मैं कार्यात्मक प्रोग्रामिंग के संदर्भ में λ-पथरी को वास्तव में नहीं समझ सकता हूं। मैं इसे पूरी तरह से गलत समझ सकता हूं, लेकिन स्टैनफोर्ड एनसाइक्लोपीडिया ऑफ फिलॉसफी की इस परिभाषा के आधार पर , …

10 programming-languages  lambda-calculus 

अनाम (लैम्ब्डा) फ़ंक्शन क्या हैं? एक कार्यात्मक प्रोग्रामिंग भाषा में एक अनाम फ़ंक्शन की औपचारिक परिभाषा क्या है? अपने सरल शब्दों में, जब मैं स्कीम / लिस्प में प्रोग्रामिंग कर रहा हूं तो मैं कहूंगा कि एक अनाम (लंबो) फ़ंक्शन एक फ़ंक्शन है जो एक पहचानकर्ता के लिए बाध्य नहीं …

10 logic  programming-languages  lambda-calculus  functional-programming 

मैं समझता हूँ कि एक चर्च अंक जैसा दिखता है (... n टाइम्स ...) । इसका मतलब है कि "फ़ंक्शन को फ़ंक्शन लागू किया गया" से अधिक कुछ नहीं है ।cncnc_nλs.λz.sλs.λz.s\lambda s. \lambda z. sszszs\;zsssnnnzzz फ़ंक्शन की एक संभावित परिभाषा निम्नलिखित है: । शरीर को देखते हुए, मैं फ़ंक्शन के …

10 lambda-calculus  church-numerals 

मैं समारोह इनकोडिंग (चर्च के / स्कॉट) बनाम प्रतिष्ठित इनकोडिंग (कोडांतरक / सी) डाटा संरचनाओं के प्रदर्शन की तुलना करना चाहते हैं। लेकिन इससे पहले कि मैं यह जानना चाहता हूं कि स्मृति में कार्य प्रतिनिधित्व कितना कुशल / उपयोगी हो सकता है। समारोह पाठ्यक्रम आंशिक रूप से लागू किया …

9 lambda-calculus  functional-programming 

मैं टाइप थ्योरी में इस बहुचर्चित पेपर को यूनिवर्स में पढ़ रहा हूं । पहले तो मुझे Setωएग्दा में कुछ इसी तरह की उम्मीद थी , लेकिन यह पता चला कि यह और भी सामान्य है। यह एक सादा आगमनात्मक-पुनरावर्ती प्रकार से एक बांधने की मशीन ( और समान ) …

9 lambda-calculus  type-theory