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

शायद हास्केल में प्रदर्शन की समस्याओं का मुख्य स्रोत तब होता है जब कोई कार्यक्रम अनजाने में गहराई का एक हिस्सा बनाता है - यह मूल्यांकन करते समय मेमोरी रिसाव और संभावित स्टैक ओवरफ्लो दोनों का कारण बनता है। क्लासिक उदाहरण sum = foldr (+) 0हास्केल में परिभाषित किया गया …

10 type-theory  functional-programming  program-verification 

हम जानते हैं कि केवल टाइप किए गए लंबो-शब्द की बीटा-समता निर्णायक है। M, N: σ → σ को देखते हुए, क्या यह निर्णायक है कि क्या सभी X के लिए: , MX ? NX?≃β≃β≃_β

10 ds.algorithms  pl.programming-languages  type-theory  functional-programming 

मैंने निम्नलिखित डेटा संरचनाओं के बारे में थोड़ा पढ़ा है: Bagwell के आदर्श हैश की कोशिश करता है लार्सन की डायनामिक हैश टेबल लाल-काले पेड़ पेट्रीसिया के पेड़ ... और मुझे यकीन है कि वहाँ बहुत सारे लोग हैं। मैंने इस बारे में बहुत कम देखा है कि प्रत्येक व्यक्ति …

10 ds.data-structures  functional-programming  tree  hash-function 

Stratego एक प्रोग्रामिंग ट्रांसफॉर्मेशन लैंग्वेज / रीटरिंग डीएसएल है। एंथोनी स्लोअन ने कुछ काम किया है जो स्कैला पर चलने वाला कार्यान्वयन है । रणनीतिक भाषा के रूप में रणनीतिको की सैद्धांतिक सीमाएँ क्या हैं? (कार्यान्वयन की परवाह किए बिना)। क्या कोई स्ट्रैटेजो में एक आवेदक आदेश यॉम्बिनेटर लिख सकता …

10 functional-programming 

क्या लैम्ब्डा कैलकुलस के समान कोई प्रणाली है जो मजबूत सामान्यीकरण है, इसके शीर्ष पर एक प्रकार की प्रणाली को जोड़ने की आवश्यकता के बिना?

9 pl.programming-languages  computability  lambda-calculus  functional-programming 

भ्रूण, यदि आपने इसके बारे में नहीं सुना है, तो यहां पढ़ा जा सकता है । यह एक फ़ंक्शन में पुनरावर्ती कॉल के सभी 'पुनरावृत्ति व्यवहार' को खोजने के लिए 'कॉल मैट्रिस' और 'कॉल ग्राफ़' की एक प्रणाली का उपयोग करता है। यह दिखाने के लिए कि एक फ़ंक्शन इसे …

9 lo.logic  computability  functional-programming 

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

9 pl.programming-languages  functional-programming  compilers  type-systems