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

मैं एमएल वंशावली की अभिव्यक्ति आधारित भाषा पर काम कर रहा हूं, इसलिए इसे स्वाभाविक रूप से प्रकार की आवश्यकता है> :) अब, मैं ईओपीएल (फ्रीडमैन और वैंड) में एक सरल कार्यान्वयन के आधार पर, प्रकारों की स्थापना की समस्या के लिए एक बाधा-आधारित समाधान का विस्तार करने की कोशिश …

11 programming-languages  type-theory  functional-programming  inductive-datatypes  typing 

यह मेरे ध्यान में लाया गया था कि ओकेएमएल जैसी कार्यात्मक भाषा में प्रकार के अनुमान की लागत बहुत अधिक हो सकती है। दावा यह है कि अभिव्यक्ति का एक क्रम ऐसा है कि प्रत्येक अभिव्यक्ति के लिए अभिव्यक्ति की लंबाई पर संबंधित प्रकार की लंबाई घातीय है। मैंने नीचे …

11 lambda-calculus  type-theory  functional-programming  type-inference  type-checking 

मैं इस प्रश्न को पूछने के लिए सही शब्दावली नहीं जानता, इसलिए मैं इसके बजाय बहुत सारे शब्दों के साथ इसका वर्णन करूंगा। पृष्ठभूमि , बस इसलिए हम एक ही पृष्ठ पर हैं: प्रोग्राम में अक्सर कैश होते हैं - एक समय / मेमोरी ट्रेडऑफ़। एक सामान्य प्रोग्रामर की गलती …

10 terminology  reference-request  functional-programming  programming-paradigms 

मैं एक हास्केल कार्यक्रम के कुछ हिस्सों के लिए प्रमाण प्रदान करना चाहता हूं जो मैं अपनी थीसिस के हिस्से के रूप में लिख रहा हूं। अब तक, मैं एक अच्छा संदर्भ कार्य खोजने में विफल रहा। हास्केल ( Google पुस्तकें ) में ग्राहम हटन की परिचयात्मक पुस्तक प्रोग्रामिंग - …

10 reference-request  proof-techniques  functional-programming  books  software-verification 

सेल्फ टाइप्स कंस्ट्रक्टस ऑफ कंस्ट्रक्शंस [1] का एक विस्तार है, जो भाषा को स्कॉट एनकोडिंग के माध्यम से एन्कोड किए गए बीजीय डेटाैटिप्स को व्यक्त करने की अनुमति देता है। स्कॉट एन्कोडिंग एक को पैटर्न-मैच करने की क्षमता प्रदान करता है O(1), जो सीसी पर आगमनात्मक परिभाषाओं के समावेश के …

10 lambda-calculus  type-theory  functional-programming  inductive-datatypes 

अनाम (लैम्ब्डा) फ़ंक्शन क्या हैं? एक कार्यात्मक प्रोग्रामिंग भाषा में एक अनाम फ़ंक्शन की औपचारिक परिभाषा क्या है? अपने सरल शब्दों में, जब मैं स्कीम / लिस्प में प्रोग्रामिंग कर रहा हूं तो मैं कहूंगा कि एक अनाम (लंबो) फ़ंक्शन एक फ़ंक्शन है जो एक पहचानकर्ता के लिए बाध्य नहीं …

10 logic  programming-languages  lambda-calculus  functional-programming 

मैं समारोह इनकोडिंग (चर्च के / स्कॉट) बनाम प्रतिष्ठित इनकोडिंग (कोडांतरक / सी) डाटा संरचनाओं के प्रदर्शन की तुलना करना चाहते हैं। लेकिन इससे पहले कि मैं यह जानना चाहता हूं कि स्मृति में कार्य प्रतिनिधित्व कितना कुशल / उपयोगी हो सकता है। समारोह पाठ्यक्रम आंशिक रूप से लागू किया …

9 lambda-calculus  functional-programming 

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

9 type-theory  functional-programming  dependent-types 

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

9 lambda-calculus  functional-programming  combinatory-logic 

हालांकि मैं अपने दैनिक जीवन में एक प्रोग्रामर के रूप में काम करता हूं और सभी ट्रेंडी भाषाओं (पायथन, जावा, सी, आदि) का उपयोग करता हूं। मेरे पास अभी भी कोई स्पष्ट दृष्टिकोण नहीं है कि कार्यात्मक प्रोग्रामिंग क्या है। मैंने जो पढ़ा है, उसमें से कार्यात्मक भाषाओं की एक …

9 data-structures  functional-programming