कोका में विकास: बीजगणितीय प्रभाव और हैंडलर

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