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