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

क्रिस ओकासाकी की 1998 की पुस्तक "विशुद्ध रूप से कार्यात्मक डेटा संरचनाएं" के बाद से, मैंने कई नए रोमांचक विशुद्ध रूप से कार्यात्मक डेटा संरचनाएं नहीं देखी हैं; मैं कुछ ही नाम दे सकता हूं: IntMap (1998 में ओकासाकी द्वारा आविष्कार किया गया था, लेकिन उस पुस्तक में मौजूद नहीं …

563 reference-request  big-list  ds.data-structures  functional-programming 

यह सवाल 1998 में ओकासाकी की पुस्तक के प्रकाशन के बाद से PFDS में नया क्या है, इस सवाल से प्रेरित है । मैं दो सवालों के साथ शुरू करूँगा: क्या विशुद्ध रूप से कार्यात्मक सेट डेटा संरचना है जो हैश तालिकाओं की गति से संपर्क करती है? Tries अभी …

51 big-list  ds.data-structures  functional-programming 

मैं Applicativeश्रेणी सिद्धांत के संदर्भ में समझना चाहूंगा । के लिए प्रलेखन का Applicativeकहना है कि यह एक मजबूत लक्ष्मण monoidal functor है । पहला, विकिपीडिया पृष्ठ मोनोइडल फ़ंक्शनलर्स के बारे में कहता है कि एक मोनोइडल फ़ंक्टर या तो ढीला या मजबूत है । इसलिए मुझे ऐसा लगता है …

40 lo.logic  type-theory  functional-programming  ct.category-theory 

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

35 ds.algorithms  functional-programming  ds.data-structures  pl.programming-languages 

क्या कोई क्रियात्मक (कार्यात्मक) प्रोग्रामिंग भाषाएं हैं जहां सभी कार्यों में एक विहित रूप है? अर्थात्, इनपुट के सभी सेट के लिए समान मान लौटाने वाले किसी भी दो कार्यों को उसी तरह से दर्शाया जाता है, उदाहरण के लिए यदि f (x) x + 1 लौटाया, और g (x) …

29 computability  pl.programming-languages  functional-programming  function 

मैं वर्तमान में Hindley और Seldin द्वारा " लैम्ब्डा-कैलकुलस एंड कॉम्बिनेटर " पढ़ रहा हूं। मैं एक विशेषज्ञ नहीं हूं, लेकिन हमेशा कार्यात्मक प्रोग्रामिंग (लिस्प और एसआईसीपी के साथ शुरू, और अब आर और हास्केल के साथ) के साथ शामिल होने के कारण लैंबडा कैलकुलस में रुचि ली है। " …

26 combinatory-logic  functional-programming  lambda-calculus 

ACSL (Ansi C Specification Language), C कोड के लिए एक विनिर्देश है, जो विशेष टिप्पणियों के साथ एनोटेट किया गया है, जो C कोड को औपचारिक रूप से सत्यापित करने की अनुमति देता है। मैंने इस पर ध्यान नहीं दिया है, लेकिन मुझे लगता है कि एसीएसएल सत्यापनकर्ताओं में इस्तेमाल …

25 lo.logic  pl.programming-languages  functional-programming  formal-methods  haskell 

मैं सीखने के अनुभव के रूप में एक सरल रूप से टाइप की गई कार्यात्मक प्रोग्रामिंग भाषा डिजाइन कर रहा हूं। ऐसा प्रतीत होता है कि मैंने जिस प्रकार की प्रणाली को अब तक लागू किया है (थोड़े अतिरिक्त काम के साथ) चौराहे और संघ प्रकारों को शामिल कर सकता …

22 type-theory  functional-programming  type-inference  language-design 

मुझे बस एहसास हुआ कि मैं अपने प्रश्न का उत्तर "हाँ" मान रहा हूं, लेकिन मेरे पास कोई अच्छा कारण नहीं है। मैं कल्पना करता हूं कि शायद एक कचरा संग्रहकर्ता है जो केवल सबसे खराब स्थिति वाले मंदी का परिचय देता है । क्या कोई निश्चित संदर्भ है जिसका …

22 reference-request  ds.data-structures  pl.programming-languages  functional-programming 

कुल कार्यात्मक प्रोग्रामिंग की सीमाएं क्या हैं? यह ट्यूरिंग-पूर्ण नहीं है, लेकिन फिर भी संभावित कार्यक्रमों के एक बड़े उपसमूह का समर्थन करता है। क्या ऐसे महत्वपूर्ण निर्माण हैं जो आप ट्यूरिंग-पूर्ण भाषा में लिख सकते हैं, लेकिन कुल कार्यात्मक भाषा में नहीं? और क्या यह कहना सही है कि …

19 computability  pl.programming-languages  functional-programming 

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

17 cc.complexity-theory  co.combinatorics  functional-programming  ct.category-theory 

मैं साइमन पेटन जोन्स के कार्यात्मक प्रोग्रामिंग भाषाओं के कार्यान्वयन को पढ़ रहा हूं और एक बयान है जिसने मुझे थोड़ा आश्चर्यचकित किया है (पृष्ठ 39 पर): की तुलना में बहुत अधिक हद तक अनिवार्य भाषाओं के लिए मामला है, कार्यात्मक भाषाएं मोटे तौर पर एक-दूसरे के रूपात्मक रूप से …

17 functional-programming  semantics  imperative-programming 

बता दें कि CCC एक CCC है । Let C(×)(×)(\times) पर एक उत्पाद बाइफंकेटर हो । जैसा कि कैट सीसीसी है, हम ( × ) करी कर सकते हैं :CCC(×)(×)(\times) curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B फ़नकार श्रेणी C⇒CC⇒CC \Rightarrow …

17 functional-programming  pl.programming-languages  ct.category-theory 

2-3 अंगुल वृक्षों के साथ काम करने के बाद मैं बहुत से ऑपरेशनों में उनकी गति से प्रभावित हुआ। हालाँकि, मैंने जो एक मुद्दा चलाया है वह एक बड़े उंगली के पेड़ के प्रारंभिक निर्माण से जुड़ा हुआ एक बड़ा ओवरहेड है। क्योंकि निर्माण को आपस में जुड़ने वाले संचालन …

16 ds.data-structures  functional-programming 

विशुद्ध रूप से अमूर्त गणित / कम्प्यूटेशनल तर्क के दृष्टिकोण से, (कैसे) 3-सैट, सबसेट सम, ट्रैवलिंग सेल्समैन आदि जैसी समस्याओं के बारे में भी पता लगा सकता है। क्या हम किसी भी सार्थक तरीके से उनके बारे में तर्क करने में सक्षम होंगे, केवल कार्यात्मक दृष्टिकोण के साथ? क्या यह …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np