भिक्षुओं की प्राकृतिक घटनाएं जो श्रेणी-सैद्धांतिक ढांचे का उपयोग करती हैं


18

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

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

मैं यह देखने के लिए संघर्ष करता हूं कि वास्तव में एक सनक क्या है और अनुप्रयोगों में सिद्धांत (व्यवहार और व्यवहार दोनों) में सामान्य अवधारणा कितनी उपयोगी हो सकती है। क्या यह वास्तव में प्रयास के लायक है, परिणाम-वार?

इसलिए यह सवाल:

क्या ऐसी समस्याएं हैं जो स्वाभाविक हैं (सीएस के अर्थ में) जिस पर मठों की अमूर्त धारणा लागू की जा सकती है और वांछित परिणाम प्राप्त करने में मदद करता है (या यहां तक ​​कि सहायक है) (बिना किसी की तुलना में अच्छे तरीके से)?


2
विशुद्ध रूप से कार्यात्मक प्रोग्रामिंग भाषा में राज्यों को एन्कोड करना? क्या यह एक पर्याप्त सीएस समस्या है?
स्टीफन जिमेनेज़

2
कार्यात्मक भाषाओं में प्रभाव को संभालने की अधिक सामान्य समस्या उदाहरण मैंने सबसे ज्यादा देखी है: सिद्धांत के लिए, प्रभाव के लिए मठ सेक्सी हैं और अभ्यास के लिए, हास्केल का आईओ मोनद बहुत आसान है।
जम्द

और क्लासिक, अपेक्षाकृत हल्के शब्दार्थ की तुलना में क्या फायदे होंगे? क्या एफपी मोनैड्स भी श्रेणी सिद्धांत के समान हैं? सवालों पर सवाल।
राफेल

श्रेणी सिद्धांत के उपयोग के बाद अधिक सामान्य प्रश्न के लिए cstheory.SE पर इस प्रश्न को देखें ।
राफेल

जवाबों:


6

यह पूछना कि क्या मठ की घटना स्वाभाविक है, यह पूछना समान है कि क्या समूह (समूह सिद्धांत के अर्थ में) स्वाभाविक है। एक बार जब आप किसी चीज़ को औपचारिक रूप देते हैं, तो इस मामले में एक एंडोफ़नक्टर के रूप में, या तो यह एक सन्यासी होने के स्वयंसिद्धों को संतुष्ट करता है या नहीं। यदि यह स्वयंसिद्ध को संतुष्ट करता है, तो किसी को मुफ्त में बहुत सारी तकनीकी मशीनरी मिलती है।

मोगी के कागज़ की गणना और मोनाड्स की धारणाएँ बहुत हद तक इस सौदे को दर्शाती हैं: एकात्मक तरीके से कम्प्यूटेशनल प्रभावों का वर्णन करने के लिए भिक्षु अविश्वसनीय रूप से प्राकृतिक और उपयोगी होते हैं। वाद्लेरऔर अन्य लोगों ने इन धारणाओं का अनुवाद कार्यात्मक प्रोग्रामिंग भाषाओं में कम्प्यूटेशनल प्रभाव से निपटने के लिए किया है, इस कनेक्शन का उपयोग करके कि एक फ़नकार डेटा टाइप कंस्ट्रक्टर है। यह केक पर आइसिंग जोड़ता है। एफपी मोनैड्स आईओ जैसे कम्प्यूटेशनल प्रभावों के उपचार की अनुमति देते हैं जो उनके बिना बेहद अस्वाभाविक होगा। मोनाड्स ने संबंधित उपयोगी धारणा जैसे तीर और मुहावरों को प्रेरित किया है जो कार्यात्मक कार्यक्रमों को संरचित करने के लिए भी बहुत उपयोगी हैं। संदर्भ के लिए Wadler लिंक देखें। एफपी मोनैड्स समान श्रेणी के सिद्धांत वाले हैं, इस अर्थ में कि एफपी मोनाड के समान समीकरणों को काम करने के लिए --- संकलक इन पर निर्भर करता है। आम तौर पर, मोनाड की प्रस्तुति अलग (अलग लेकिन समकक्ष संचालन और समीकरण) होती है, लेकिन यह एक सतही अंतर है।

बार्ट जैकब्स के काम की एक बड़ी मात्रा , लेकिन एक उदाहरण लेने के लिए, साधुओं का उपयोग करता है। बहुत से काम कोयला-बीज से उपजा है, जो कि प्रणालियों का एक सामान्य सिद्धांत है। क्षेत्र में जैकब्स का (कई) योगदान एक प्रणाली के लिए ट्रेस शब्दार्थों की एक सामान्य धारणा का विकास है (जिसे कोलेजब्रस के रूप में वर्णित किया गया है)। कोई यह तर्क दे सकता है कि ट्रेस शब्दार्थ की धारणा स्वाभाविक है: किसी प्रणाली का शब्दार्थ क्या है? जिन कार्यों की सूची देखी जा सकती है!

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

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.