क्लीन भाषा में पूरी तरह से कार्यात्मक विकास

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