haskell पर टैग किए गए जवाब

2
सिस्टम एफ किन कार्यों की गणना नहीं कर सकता है?
में ट्यूरिंग संपूर्णता पर इस विकिपीडिया लेख यह है कि कहा गया है: अनपेड लैम्ब्डा कैलकुलस ट्यूरिंग पूर्ण है, लेकिन सिस्टम एफ सहित कई टाइप किए गए लैम्ब्डा कैल्कुली नहीं हैं। टाइप की गई प्रणालियों का मूल्य अधिक त्रुटियों का पता लगाने के दौरान अधिकांश विशिष्ट कंप्यूटर कार्यक्रमों का प्रतिनिधित्व …
5
क्या शुद्ध कार्यात्मक प्रोग्रामिंग भाषाओं के लिए कोई एनोटेट औपचारिक सत्यापन प्रणाली है?
ACSL (Ansi C Specification Language), C कोड के लिए एक विनिर्देश है, जो विशेष टिप्पणियों के साथ एनोटेट किया गया है, जो C कोड को औपचारिक रूप से सत्यापित करने की अनुमति देता है। मैंने इस पर ध्यान नहीं दिया है, लेकिन मुझे लगता है कि एसीएसएल सत्यापनकर्ताओं में इस्तेमाल …
1
कार्यात्मक प्रोग्रामिंग भाषाओं को कचरा संग्रह की आवश्यकता क्यों है?
Haskell को कॉन्टेनेटरी लॉजिक जैसे एक कंसेंटिव प्रोग्रामिंग लैंग्वेज में ट्रांसलेट करने से ghc को रोकना और फिर बस हर चीज के लिए स्टैक आवंटन का उपयोग करना क्या है? विकिपीडिया के अनुसार, लैम्ब्डा कैलकुलस से कॉम्बिनेशन लॉजिक तक का अनुवाद तुच्छ है, और साथ ही, कंसेंटेटिव प्रोग्रामिंग लैंग्वेज पूरी …
4
हास्केल के seq ऑपरेशन के साथ काम करने के लिए एटा-तुल्यता है?
लेम्मा: एटा-समतुल्यता मानकर हमने ऐसा किया है (\x -> ⊥) = ⊥ :: A -> B। प्रमाण: ⊥ = (\x -> ⊥ x)एटा-समतुल्यता (\x -> ⊥ x) = (\x -> ⊥)द्वारा , और लंबोदर के तहत कमी द्वारा। हास्केल 2010 की रिपोर्ट, खंड 6.2 seqफ़ंक्शन को दो समीकरणों द्वारा निर्दिष्ट …
2
वैकल्पिक, मोनाडप्लस (लेडकैच) और मोनाडप्लस (लेफ्टडिस्टिवेटिव) के बीच क्या संबंध हैं?
इसके बाद क्या एक मोनड का उदाहरण है जो एक वैकल्पिक है लेकिन एक मोनडप्लस नहीं है? : मान लें एक इकाई है। संबंधों betweem क्या हैं मीटर एक जा रहा है वैकल्पिक , एक MonadPlusCatch और एक MonadPlusDistr ? mmmmmmछह संभव जोड़े में से प्रत्येक के लिए, मैं या …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.