शुद्ध भाषा में वैज्ञानिक गणना और प्रतीकात्मक गणित

मैं कार्यात्मक प्रोग्रामिंग में विशेषज्ञ हूँ और प्रतिदिन Pure भाषा में काम करता हूँ, टर्नकी वैज्ञानिक और गणितीय सॉफ़्टवेयर विकास की पेशकश करता हूँ। Pure भाषा एक टर्म-रीराइटिंग आधारित है: एक प्रोग्राम को समीकरणों के सेट के रूप में परिभाषित किया जाता है, और गणना सामान्य रूप में टर्म्स को री-राइट करके आगे बढ़ती है। यह दृष्टिकोण स्वाभाविक रूप से प्रतीकात्मक गणित, बीजगणितीय परिवर्तन और संख्यात्मक एल्गोरिदम के त्वरित प्रोटोटाइपिंग पर लागू होता है। चूंकि Pure-lang LLVM JIT बैकएंड के माध्यम से मशीन कोड में संकलित होता है, इसलिए आप जो सुरुचिपूर्ण समीकरण-आधारित शैली लिखते हैं, वह आपको निष्पादन गति की कीमत नहीं चुकाती। मैं जो करता हूँ: प्रतीकात्मक गणित इंजन (सरलीकरण, विभेदन, बीजगणितीय री-राइट्स), सिग्नल प्रोसेसिंग पाइपलाइन्स और DSP फ़िल्टर, संख्यात्मक समाधान और साफ प्रोटोटाइप जो शोध टीमों को विचारों का परीक्षण करने की अनुमति देते हैं इससे पहले कि वे भारी स्टैक्स में जाएं। मैं टर्म्स पर पैटर्न मिलान के साथ आदर्श, अच्छी तरह से संरचित कोड लिखता हूँ, जहां वास्तव में उचित हो, मैक्रोज़ और जब कच्ची थ्रूपुट महत्वपूर्ण हो तो C लाइब्रेरी के लिए पतले FFI पुल। सामान्य कार्य — गणित-भारी MATLAB या Python नोटबुक को एक संक्षिप्त Pure-lang प्रोग्राम में पोर्ट करना, समीकरणों से सीधे कॉल करने के लिए मौजूदा C या Fortran प्रक्रियाओं को लपेटना, री-राइट इंजन के शीर्ष पर छोटे डोमेन-विशिष्ट भाषाएँ बनाना। प्रत्येक परिणाम के साथ एक परीक्षण सूट, कोड दस्तावेज़ीकरण और एक संक्षिप्त वॉकथ्रू आता है ताकि आपके डेवलपर्स इसे विकसित कर सकें। मेरे पास Pure भाषा और कार्यात्मक और टर्म-रीराइटिंग भाषाओं की दुनिया में वर्षों का अनुभव है; मेरे लिए सहीता उतनी ही महत्वपूर्ण है जितनी प्रदर्शन। कार्य का वर्णन करें, इनपुट उदाहरण और अपेक्षित आउटपुट — मैं एक कार्यशील, प्रदर्शन-मापित मॉड्यूल लौटाऊँगा जिसमें यह समझाया जाएगा कि री-राइट नियम आपके गणित पर कैसे लागू होते हैं।