एगिसन भाषा विकास: पैटर्न मिलान और प्रतीकात्मक गणना

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