सेवा के बारे में
अनुवादितमैं Oz भाषा में कार्यक्रम लिखता हूँ—Mozart प्रणाली की मल्टीपैराडाइम भाषा—and मैं शैलियों को उपकरणों के रूप में मानता हूँ, न कि सिद्धांतों के रूप में। एक ही कार्यक्रम के भीतर मैं कार्यात्मक गणना, संबंधात्मक तर्क, बाधा प्रसार, और डेटा प्रवाह समवर्तीता के बीच स्वतंत्र रूप से चलता हूँ, यह चुनते हुए कि कौन सा मॉडल कार्य के एक विशेष भाग को स्पष्ट और सही बनाता है। यह विकास का एक अलग तरीका है जो आदतन अनिवार्य कोडिंग से भिन्न है, और यह ठीक वहीं लाभ देता है जहाँ सामान्य दृष्टिकोण संघर्ष करते हैं: खोज समस्याओं, अनुसूची, कॉन्फ़िगरेशन, प्रतीकात्मक तर्क, और भाषा विचारों के प्रोटोटाइप में।
मेरे अधिकांश काम में बाधा प्रोग्रामिंग और खोज शामिल है। मैं एक समस्या को सीमित-डोमेन चर के साथ मॉडल करता हूँ, नियमों को प्रसारकों के माध्यम से व्यक्त करता हूँ, और अपने वितरण और शाखा रणनीतियों के साथ समाधानकर्ता को नियंत्रित करता हूँ, विशाल संयोजनात्मक स्थानों को प्रबंधनीय रखते हुए। Oz में, समवर्तीता भाषा में तार्किक चर और डेटा प्रवाह समन्वय के माध्यम से निर्मित होती है: यह मुझे बिना सामान्य लॉक की पीड़ा के साफ "उत्पादक-उपभोक्ता" पाइपलाइनों, एजेंटों, और हल्के थ्रेड बनाने की अनुमति देता है। मैं निश्चितता, संलग्न खोज, और आलस्य, पोर्ट, और कोशिकाओं के सूक्ष्म अंतःक्रिया के बारे में आत्मविश्वास से तर्क करता हूँ जो Oz को इसकी अभिव्यक्तिशीलता देता है।
समस्याओं को हल करने के अलावा, मैं शिक्षण और अनुसंधान समर्थन के लिए Oz का उपयोग करता हूँ। मैंने छात्रों और शोधकर्ताओं को "कंप्यूटर प्रोग्रामिंग के सिद्धांत, तकनीकें, और मॉडल" से विचारों को समझने में मदद की है, राज्य, समवर्तीता, और घोषणात्मक गणना के जटिल विचारों को विस्तृत टिप्पणी के साथ चलने योग्य उदाहरणों में बदल दिया है। मैं एक पेपर से एक एल्गोरिदम को Oz में पोर्ट कर सकता हूँ, प्रदर्शन द्वारा वैकल्पिक वितरण रणनीतियों की तुलना कर सकता हूँ, या एक Mozart घटक को बाहरी दुनिया से बात करने के लिए लपेट सकता हूँ। यदि आपके पास कोई कार्य है जो "खोज, बाधाएँ, या सुरुचिपूर्ण समवर्तीता" की गंध करता है, तो मैं आपको ईमानदारी से बताऊँगा कि क्या Oz उपयुक्त है।
— कस्टम प्रसारकों के साथ सीमित-डोमेन और बाधा मॉडलिंग
— संलग्न और समानांतर खोज, वितरण और शाखा रणनीतियाँ
— डेटा प्रवाह समवर्तीता, तार्किक चर, धाराएँ, पोर्ट, और एजेंट
— एक कोडबेस में कार्यात्मक और संबंधात्मक प्रोग्रामिंग
— CTM आत्मा में मल्टीपैराडाइम विचारों के लिए शिक्षण समर्थन
— Mozart में भाषा विशेषताओं और प्रतीकात्मक गणना का प्रोटोटाइपिंग
मेरे अधिकांश काम में बाधा प्रोग्रामिंग और खोज शामिल है। मैं एक समस्या को सीमित-डोमेन चर के साथ मॉडल करता हूँ, नियमों को प्रसारकों के माध्यम से व्यक्त करता हूँ, और अपने वितरण और शाखा रणनीतियों के साथ समाधानकर्ता को नियंत्रित करता हूँ, विशाल संयोजनात्मक स्थानों को प्रबंधनीय रखते हुए। Oz में, समवर्तीता भाषा में तार्किक चर और डेटा प्रवाह समन्वय के माध्यम से निर्मित होती है: यह मुझे बिना सामान्य लॉक की पीड़ा के साफ "उत्पादक-उपभोक्ता" पाइपलाइनों, एजेंटों, और हल्के थ्रेड बनाने की अनुमति देता है। मैं निश्चितता, संलग्न खोज, और आलस्य, पोर्ट, और कोशिकाओं के सूक्ष्म अंतःक्रिया के बारे में आत्मविश्वास से तर्क करता हूँ जो Oz को इसकी अभिव्यक्तिशीलता देता है।
समस्याओं को हल करने के अलावा, मैं शिक्षण और अनुसंधान समर्थन के लिए Oz का उपयोग करता हूँ। मैंने छात्रों और शोधकर्ताओं को "कंप्यूटर प्रोग्रामिंग के सिद्धांत, तकनीकें, और मॉडल" से विचारों को समझने में मदद की है, राज्य, समवर्तीता, और घोषणात्मक गणना के जटिल विचारों को विस्तृत टिप्पणी के साथ चलने योग्य उदाहरणों में बदल दिया है। मैं एक पेपर से एक एल्गोरिदम को Oz में पोर्ट कर सकता हूँ, प्रदर्शन द्वारा वैकल्पिक वितरण रणनीतियों की तुलना कर सकता हूँ, या एक Mozart घटक को बाहरी दुनिया से बात करने के लिए लपेट सकता हूँ। यदि आपके पास कोई कार्य है जो "खोज, बाधाएँ, या सुरुचिपूर्ण समवर्तीता" की गंध करता है, तो मैं आपको ईमानदारी से बताऊँगा कि क्या Oz उपयुक्त है।
— कस्टम प्रसारकों के साथ सीमित-डोमेन और बाधा मॉडलिंग
— संलग्न और समानांतर खोज, वितरण और शाखा रणनीतियाँ
— डेटा प्रवाह समवर्तीता, तार्किक चर, धाराएँ, पोर्ट, और एजेंट
— एक कोडबेस में कार्यात्मक और संबंधात्मक प्रोग्रामिंग
— CTM आत्मा में मल्टीपैराडाइम विचारों के लिए शिक्षण समर्थन
— Mozart में भाषा विशेषताओं और प्रतीकात्मक गणना का प्रोटोटाइपिंग
