सेवा के बारे में
अनुवादितमैं एक स्टैंडर्ड ML डेवलपर हूँ और ऐसा कोड लिखता हूँ जो सही होना चाहिए: कंपाइलर्स, इंटरप्रेटर्स, स्थैतिक विश्लेषक, डोमेन-विशिष्ट भाषाएँ, और औपचारिक तर्क का समर्थन करने वाले टूल। मैं विशेष रूप से ML परिवार में काम करता हूँ — इंटरैक्टिव विकास और त्वरित प्रोटोटाइपिंग के लिए SML/NJ, पूरे प्रोग्राम ऑप्टिमाइजेशन और तेज़ नेटिव बाइनरी के लिए MLton, और Poly/ML जहाँ एक बड़े कोडबेस पर प्रतिक्रियाशील REPL की आवश्यकता होती है। यह Haskell, OCaml, या F# नहीं है, बल्कि स्टैंडर्ड ML है जिसकी सटीक औपचारिक परिभाषा, बीजगणितीय प्रकार, व्यापक पैटर्न मिलान, और, महत्वपूर्ण रूप से, संरचनाओं, हस्ताक्षरों, और फंक्टर्स के शक्तिशाली मॉड्यूल सिस्टम के साथ जो आपको उनके इंटरफेस के प्रति सच्चे बड़े सिस्टम को इकट्ठा करने की अनुमति देता है।
मेरा रोज़ का काम व्याकरण या अर्थ को कार्यशील, बनाए रखने योग्य कोड में बदलना है। मैं अमूर्त सिंटैक्स डिजाइन करता हूँ, लेक्सर्स और पार्सर्स लिखता हूँ, टाइप चेकिंग और विस्तार पास बनाता हूँ, सब कुछ मध्यवर्ती प्रतिनिधित्व में कम करता हूँ, और परिणाम उत्पन्न या व्याख्या करता हूँ। मैं अवैध राज्यों को अप्रस्तुत करने के लिए परवाह करता हूँ: मैं टाइप सिस्टम में अव्यवस्थाएँ बेक करता हूँ ताकि कंपाइलर पहले परीक्षण से पहले पूरी त्रुटियों की श्रेणियों को काट दे। जब सही होने को साबित करना आवश्यक होता है न कि केवल जांचना, मैं SML कोड को प्रमाण प्रणाली और विशिष्टता टूल के साथ जोड़ता हूँ, प्रॉपर्टी-आधारित परीक्षण और संदर्भ इंटरप्रेटर्स लिखता हूँ ताकि व्यवहार को सटीक रूप से निर्धारित किया जा सके।
मैं एक अनुसंधान समूह, भाषा टीम, या कंपनी में शामिल होने में सहज हूँ जिसने एक परिपक्व SML सिस्टम विरासत में लिया है और जिसे इसमें घर पर किसी की आवश्यकता है। मैं दूसरों के फंक्टर्स पढ़ता हूँ, जटिल हस्ताक्षरों को सुलझाता हूँ, बिना अमूर्तता सीमाओं को तोड़े विशेषताएँ जोड़ता हूँ, और तर्क को दस्तावेज करता हूँ ताकि अगला व्यक्ति इसका पालन कर सके। मुझे बताएं कि आपको कौन सी भाषा, अव्यवस्था, या पास चाहिए, और मैं आपको साफ, टाइप किया हुआ, अच्छी तरह से संरचित स्टैंडर्ड ML दूंगा जिस पर आप भरोसा कर सकते हैं।
— SML/NJ, MLton, Poly/ML पर कंपाइलर्स और इंटरप्रेटर्स
— लेक्सर्स, पार्सर्स, टाइप चेकिंग, और विस्तार पास
— मॉड्यूल डिज़ाइन: संरचनाएँ, हस्ताक्षर, और फंक्टर्स
— डोमेन-विशिष्ट भाषाएँ और एम्बेडेड इंटरप्रेटर्स
— प्रॉपर्टी-आधारित परीक्षण और संदर्भ इंटरप्रेटर मान्यता
— औपचारिक तर्क, विशिष्टताएँ, और प्रमाणक एकीकरण
— विरासत में मिली स्टैंडर्ड ML कोड का पुनर्गठन और रखरखाव
मेरा रोज़ का काम व्याकरण या अर्थ को कार्यशील, बनाए रखने योग्य कोड में बदलना है। मैं अमूर्त सिंटैक्स डिजाइन करता हूँ, लेक्सर्स और पार्सर्स लिखता हूँ, टाइप चेकिंग और विस्तार पास बनाता हूँ, सब कुछ मध्यवर्ती प्रतिनिधित्व में कम करता हूँ, और परिणाम उत्पन्न या व्याख्या करता हूँ। मैं अवैध राज्यों को अप्रस्तुत करने के लिए परवाह करता हूँ: मैं टाइप सिस्टम में अव्यवस्थाएँ बेक करता हूँ ताकि कंपाइलर पहले परीक्षण से पहले पूरी त्रुटियों की श्रेणियों को काट दे। जब सही होने को साबित करना आवश्यक होता है न कि केवल जांचना, मैं SML कोड को प्रमाण प्रणाली और विशिष्टता टूल के साथ जोड़ता हूँ, प्रॉपर्टी-आधारित परीक्षण और संदर्भ इंटरप्रेटर्स लिखता हूँ ताकि व्यवहार को सटीक रूप से निर्धारित किया जा सके।
मैं एक अनुसंधान समूह, भाषा टीम, या कंपनी में शामिल होने में सहज हूँ जिसने एक परिपक्व SML सिस्टम विरासत में लिया है और जिसे इसमें घर पर किसी की आवश्यकता है। मैं दूसरों के फंक्टर्स पढ़ता हूँ, जटिल हस्ताक्षरों को सुलझाता हूँ, बिना अमूर्तता सीमाओं को तोड़े विशेषताएँ जोड़ता हूँ, और तर्क को दस्तावेज करता हूँ ताकि अगला व्यक्ति इसका पालन कर सके। मुझे बताएं कि आपको कौन सी भाषा, अव्यवस्था, या पास चाहिए, और मैं आपको साफ, टाइप किया हुआ, अच्छी तरह से संरचित स्टैंडर्ड ML दूंगा जिस पर आप भरोसा कर सकते हैं।
— SML/NJ, MLton, Poly/ML पर कंपाइलर्स और इंटरप्रेटर्स
— लेक्सर्स, पार्सर्स, टाइप चेकिंग, और विस्तार पास
— मॉड्यूल डिज़ाइन: संरचनाएँ, हस्ताक्षर, और फंक्टर्स
— डोमेन-विशिष्ट भाषाएँ और एम्बेडेड इंटरप्रेटर्स
— प्रॉपर्टी-आधारित परीक्षण और संदर्भ इंटरप्रेटर मान्यता
— औपचारिक तर्क, विशिष्टताएँ, और प्रमाणक एकीकरण
— विरासत में मिली स्टैंडर्ड ML कोड का पुनर्गठन और रखरखाव
