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

चुनौती यह है कि जितने संभव हो उतने लैंबडा कैलकुलस के लिए एक दुभाषिया लिखें । हम अप्रकाशित लैम्ब्डा कैलकुलस को इस प्रकार परिभाषित करते हैं: वाक्य - विन्यास निम्नलिखित तीन प्रकार के भाव हैं: एक लैम्ब्डा अभिव्यक्ति का वह रूप है (λ x. e)जहाँ xकोई भी कानूनी चर नाम …

45 code-golf  interpreter  lambda-calculus 

काम एक प्रोग्राम या समारोह है कि दिए गए तीन तार लिखें A, B, Cएक आउटपुट स्ट्रिंग जहां के प्रत्येक उदाहरण का उत्पादन Bमें Aरिकर्सिवली के साथ प्रतिस्थापित किया गया है C। रिकर्सिवली एक प्रतिस्थापन जहां हर कदम पर के सभी गैर-अतिव्यापी उदाहरणों दोहरा साधन प्रतिस्थापन Bमें A(लालच से चुना …

25 code-golf  string  substitution  code-golf  math  code-golf  string  set-theory  code-golf  code-golf  compile-time  code-golf  kolmogorov-complexity  binary  code-golf  sequence  cops-and-robbers  code-golf  subsequence  card-games  code-golf  sequence  primes  code-golf  code-golf  number  graphical-output  music  code-golf  ascii-art  code-golf  string  lambda-calculus  code-golf  string  code-generation  code-golf  unicode  code-golf  math  combinatorics  code-golf  balanced-string  code-golf  sequence  cops-and-robbers  code-golf  sequence  cops-and-robbers  code-challenge  fastest-code  chess  code-golf  math  graphical-output  code-golf  string  hello-world  animation  code-golf  number  arithmetic  code-golf  integer  code-golf  code-golf  combinatorics  code-golf  kolmogorov-complexity  graphical-output  code-golf  string  code-golf  code-golf  game  code-golf  math  combinatorics  code-golf  ascii-art  popularity-contest  random  code-golf  arithmetic  number-theory  integer  code-golf  tips  underload  code-golf  math  sequence  primes  code-golf  math  path-finding  code-golf  ascii-art  primes  code-golf  kolmogorov-complexity  alphabet 

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

22 code-golf  repeated-transformation  lambda-calculus 

Λ-पथरी , या लैम्ब्डा पथरी, एक तार्किक अनाम प्रक्रियाएं पर आधारित प्रणाली है। उदाहरण के लिए, यह एक λ-अभिव्यक्ति है: λf.(λx.xx)(λx.f(xx)) हालाँकि, इस चुनौती के प्रयोजनों के लिए, हम इस अधिसूचना को सरल करेंगे: बदलने के λलिए \(टाइप करने के लिए यह आसान बनाने के लिए):\f.(\x.xx)(\x.f(xx)) .लैम्ब्डा हेडर में, अनावश्यक …

20 code-golf  string  functional-programming  lambda-calculus 

उद्देश्य मूल स्क्रैम्बल सूची उत्पन्न करें, उन आंदोलनों से जो एक सम्मिलन सॉर्ट इसे सॉर्ट करने के लिए करेंगे। मूल सूची से सभी नंबरों को होगा 0करने के लिए N-1(सम्मिलित) जहां Nइनपुट के का आकार है। इनपुट सूची को सॉर्ट करने के लिए आवश्यक चाल वाली एक सूची। प्रत्येक मान …

19 code-golf  array-manipulation  code-golf  code-golf  animation  code-golf  restricted-source  code-golf  java  code-golf  decision-problem  graph-theory  code-golf  conversion  electrical-engineering  code-golf  ascii-art  code-golf  string  substitution  code-golf  math  code-golf  string  set-theory  code-golf  code-golf  compile-time  code-golf  kolmogorov-complexity  binary  code-golf  sequence  cops-and-robbers  code-golf  subsequence  card-games  code-golf  sequence  primes  code-golf  code-golf  number  graphical-output  music  code-golf  ascii-art  code-golf  string  lambda-calculus  code-golf  string  code-generation  code-golf  unicode  code-golf  math  combinatorics  code-golf  balanced-string  code-golf  sequence  cops-and-robbers  code-golf  sequence  cops-and-robbers  code-challenge  fastest-code  chess  code-golf  math  graphical-output  code-golf  string  hello-world  animation  code-golf  number  arithmetic  code-golf  integer  code-golf  code-golf  combinatorics  code-golf  kolmogorov-complexity  graphical-output  code-golf  string  code-golf  code-golf  game  code-golf  math  combinatorics  code-golf  ascii-art  popularity-contest  random  code-golf  arithmetic  number-theory  integer  code-golf  tips  underload  code-golf  math  sequence  primes  code-golf  math  path-finding  code-golf  ascii-art  primes  code-golf  kolmogorov-complexity  alphabet 

पृष्ठभूमि Λ-पथरी शब्दों की कल्पना करना प्रसिद्ध लैम्ब्डा-बाजीगर (और कोड गोल्फर ) जॉन ट्रम्प ने λ- पथरी में शर्तों का एक दिलचस्प दृश्य तैयार किया । उनके शब्दों में: अमूर्तता (लंबोदा) को क्षैतिज रेखाओं द्वारा दर्शाया जाता है, ऊर्ध्वाधर रेखाओं द्वारा चर को उनके बंधन लंबोदा से नीचे छोड़ा जाता …

9 code-golf  ascii-art  lambda-calculus