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

मुझे टाइप ए के तत्वों के सेट को स्टोर करने की आवश्यकता है। टाइप एक आंशिक रूप से आदेश दिया गया है, इसलिए की तुलना a1a1a_1 और a2a2a_2 छोटे लौट सकते हैं, अधिक से अधिक, के बराबर या इससे अतुलनीय। हैशटेबल्स के साथ एक समस्या यह है कि दो समान …

15 ds.data-structures  functional-programming  sorting 

मैं LYAH में एक अध्याय पढ़ रहा था जो वास्तव में मेरे लिए मायने नहीं रखता था। मैं समझता हूं कि ज़िपर मनमाने ढंग से पेड़ जैसी संरचना बना सकते हैं, लेकिन मुझे इस पर कुछ स्पष्टीकरण चाहिए। इसके अलावा, क्या zippers को किसी भी डेटा संरचना में सामान्यीकृत किया …

15 ds.data-structures  functional-programming  tree 

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

14 functional-programming  haskell 

एक कार्यात्मक भाषा को एक ऐसी श्रेणी के रूप में देखा जा सकता है, जहाँ इसकी वस्तुएँ प्रकार और आकारिकी उनके बीच कार्य करती हैं। इस मॉडल में टाइप कक्षाएं कैसे फिट होती हैं? मेरा मानना ​​है कि हमें केवल उन कार्यान्वयनों पर विचार करना चाहिए जो बाधा को संतुष्ट …

14 lo.logic  functional-programming  ct.category-theory  denotational-semantics  type-systems 

मैं विशुद्ध रूप से कार्यात्मक तरीके से DBMS लिखने के विचार की खोज कर रहा हूं। अनुक्रमण के लिए प्रयुक्त पारंपरिक डेटा संरचना बी-ट्री है। मैं बी-ट्री के कुछ विशुद्ध रूप से कार्यात्मक समकक्ष जानना चाहता हूं जो डिस्क एक्सेस को कम करने के लिए अनुकूलित किया जाएगा। धन्यवाद।

14 ds.data-structures  functional-programming  db.databases 

विशुद्ध रूप से कार्यात्मक सेटिंग में नीच एकल-लिंक की गई सूची पर विचार करें। इसकी प्रशंसा पहाड़ की चोटी से गाई गई है और इसे गाया जाता रहेगा। यहाँ मैं इसकी कई खूबियों और पेड़ों के आधार पर विशुद्ध रूप से कार्यात्मक अनुक्रमों के व्यापक वर्ग तक कैसे बढ़ाया जा …

14 ds.data-structures  cr.crypto-security  functional-programming  hash-function 

प्रश्न ओकासाकी के बाद से विशुद्ध रूप से कार्यात्मक डेटा संरचनाओं में नया क्या है? , और jbapple के महाकाव्य उत्तर, कार्यात्मक प्रोग्रामिंग में अंतर सूचियों (तर्क प्रोग्रामिंग के विपरीत) का उपयोग करते हुए उल्लेख किया गया है, जो कि हाल ही में मेरी दिलचस्पी है, इसने मुझे हास्केल के …

14 reference-request  ds.data-structures  pl.programming-languages  functional-programming  logic-programming 

चूंकि मुझे पार्सर्स में दिलचस्पी है (मुख्य रूप से पार्सर अभिव्यक्ति व्याकरण में), मैं सोच रहा हूं कि क्या कुछ काम है जो पार्सिंग का एक श्रेणीबद्ध उपचार देता है। श्रेणी सिद्धांत के पार्सिंग के अनुप्रयोगों पर किसी भी संदर्भ की बहुत सराहना की जाती है। श्रेष्ठ,

13 reference-request  functional-programming  ct.category-theory  parsing 

निरंतरता गुजर याद को बदलने (सीपीएस को बदलने) जो लेता है करने के लिए बीटा एक : = आर आर ए (जहां आर तय हो गई है) और च : एक → बी को बीटा च : बीटा एक → बीटा बी द्वारा परिभाषित बीटाएAAβए : = आरआरएβA:=RRA\beta A \mathrel{{:}{=}} …

13 functional-programming  monad  continuations  cps-transforms 

मैंने हाल ही में हारून की सेडिल-कोर को लागू करने का प्रयास किया है , जो एक न्यूनतम प्रोग्रामिंग भाषा है जो गणितीय प्रमेयों को अपनी शर्तों के बारे में साबित करने में सक्षम है। मैंने इस पर λ- एन्कोडेड डेटाैटिप्स के लिए प्रेरण भी साबित किया है, जिससे यह …

12 type-theory  functional-programming  constructive-mathematics 

इसके बाद क्या एक मोनड का उदाहरण है जो एक वैकल्पिक है लेकिन एक मोनडप्लस नहीं है? : मान लें एक इकाई है। संबंधों betweem क्या हैं मीटर एक जा रहा है वैकल्पिक , एक MonadPlusCatch और एक MonadPlusDistr ? mmmmmmछह संभव जोड़े में से प्रत्येक के लिए, मैं या …

12 pl.programming-languages  functional-programming  haskell  monad  applicative 

में पूरी तरह कार्यात्मक सबसे खराब मामला लगातार समय Catenable छाँटे सूचियाँ , Brodal एट अल। वर्तमान में O (1) समवर्ती और O (lg n) डालने, हटाने और खोजने के साथ विशुद्ध रूप से कार्यात्मक संतुलित पेड़। डेटा संरचना कुछ जटिल है। क्या ओ (1) समवर्ती, कार्यात्मक या नहीं के …

12 functional-programming  ds.data-structures 

मेरे पास शुद्ध कार्यों के संबंध में प्रश्न हैं। विकिपीडिया पृष्ठ के अनुसार शुद्ध कार्य के लिए अपेक्षित में से एक है: परिणाम का मूल्यांकन किसी भी शब्दानुभवनीय दुष्प्रभाव या आउटपुट का कारण नहीं बनता है, जैसे कि उत्परिवर्तनीय वस्तुओं का उत्परिवर्तन या I / O उपकरणों के आउटपुट। अब …

11 functional-programming  semantics 

एक कार्यात्मक प्रोग्रामिंग भाषा की कल्पना करें, जिसका एकमात्र डेटा प्रकार संख्यात्मक स्केल और सरणियों के मनमाने ढंग से घोंसले हैं। भाषा में अनबाउंड इटरेशन के किसी भी साधन का अभाव है, इसलिए निम्नलिखित अस्वीकृत हैं: स्पष्ट छोरों (साइड-इफेक्ट्स के बिना किसी भी तरह से अधिक उपयोग नहीं) प्रत्यावर्तन मनमाना …

11 complexity-classes  functional-programming  dc.parallel-comp 

इंटरेक्शन कॉम्बिनेटरों को पहले λ-पथरी के लिए एक संकलन लक्ष्य के रूप में प्रस्तावित किया गया है । यह पेपर पूर्ण λ-पथरी को लागू करता है। यह भी ज्ञात है कि λ-पथ के सबसेट के लिए λ-पथ के अंतःक्रिया-शुद्ध एनकोडिंग को अनुकूलित करना संभव है जो कि EAL- टाइप करने …

10 lambda-calculus  functional-programming  interaction-nets