functional-programming पर टैग किए गए जवाब

मैं जिम वेइरिच का व्याख्यान देख रहा था, जिसका शीर्षक था ' एडवेंचर्स इन फंक्शनल प्रोग्रामिंग '। इस व्याख्यान में, वह वाई-कॉम्बिनेटरों की अवधारणा का परिचय देता है, जो अनिवार्य रूप से उच्च आदेश कार्यों के लिए निर्धारित बिंदु पाता है। प्रेरणाओं में से एक, जैसा कि वह इसका उल्लेख …

19 lambda-calculus  functional-programming 

हमारे प्रोफेसर ने हमें OCaml में एक फंक्शन के बारे में सोचने के लिए कहा, जिसमें टाइप है 'a -> 'b यानी एक तर्क का एक कार्य जो कुछ भी हो सकता है, और वह एक अलग चीज को वापस कर सकता है। मैंने raiseऐसे फ़ंक्शन में उपयोग करने के …

19 programming-languages  typing  functional-programming 

इस लेख के अनुसार लिस्प कोड की निम्न पंक्ति "हैलो वर्ल्ड" को मानक आउटपुट में प्रिंट करती है। (format t "hello, world") लिस्प, जो एक होमोसेक्सुअल भाषा है , इस तरह से डेटा के रूप में कोड का इलाज कर सकता है: अब कल्पना करें कि हमने निम्नलिखित मैक्रो लिखा …

16 programming-languages  functional-programming 

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

16 reference-request  lambda-calculus  functional-programming  books 

फिलिप वाडलर के पेपर पर थ्योरीज़ फ़ॉर फ़्री में उन्होंने कहा कि पैरामीट्रिकिटी की धारा 2 में कहा गया है बहुरूपी लैम्ब्डा कैलकुलस के कोई भोले सेट-सिद्धांतवादी मॉडल नहीं हैं भोले सेट-सिद्धांत में मॉडल प्रकार सेट होते हैं और फ़ंक्शन सेट-सिद्धांत कार्य होते हैं जो उचित लगता है। तो वह …

15 functional-programming 

CPU एक हद तक सॉफ्टवेयर को ध्यान में रखकर बनाया गया है जो लोग इसके लिए लिखेंगे, संक्षेप में या स्पष्ट रूप से। यह मुझे लगता है कि यदि आप निर्देश सेट आर्किटेक्चर के डिजाइन को देखते हैं, तो वे बहुत "अनिवार्य" हैं, इस अर्थ में कि प्रत्येक निर्देश एक …

14 computer-architecture  functional-programming 

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

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

फंक्शनल प्रोग्रामिंग में बहुत ही सुंदर लैंबडा कैलकुलस और इसके वेरिएंट एक बैकअप सिद्धांत के रूप में हैं। क्या 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 

क्या सीपीयू में कोई बदलाव किया जा सकता है जिससे उन्हें रूस्ट जैसे समवर्ती रनटाइम के लिए बेहतर प्रदर्शन करने में मदद मिल सके? उदाहरण के लिए, क्या शाखा पूर्वानुमान कार्यान्वयन या कैश आकार में परिवर्तन होते हैं जो समवर्ती रनटाइम को मदद करेगा? मुझे इस बात का आभास है …

13 computer-architecture  concurrency  functional-programming 

हैस्केल विकी पर IO मोनड के सशर्त उपयोग का निम्न उदाहरण है (यहां देखें) । when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) ध्यान दें कि इस उदाहरण में, सब कुछ अधिक समझने के IO aलिए …

12 programming-languages  functional-programming  haskell 

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

12 terminology  compilers  functional-programming 

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

11 type-theory  functional-programming  dependent-types  inductive-datatypes 

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

11 data-structures  functional-programming  persistent-data-structure 

लर्निंग एफ # के लिए एक टिप्पणी में : कार्यात्मक अवधारणाओं को सीखने के लिए अन्य प्रोग्रामिंग भाषाओं का उपयोग करने वाली पुस्तकों का अनुवाद एफ # में किया जा सकता है? Makarius कहा: ध्यान दें कि "CPS" दृष्टिकोण ने SML / NJ में प्रदर्शन को बहुत नुकसान पहुंचाया है। …

11 compilers  functional-programming  proof-assistants  continuations