कैसे पता चलेगा कि स्पष्ट रूप से शुद्ध हास्केल इंटरफ़ेस असुरक्षित संचालन को छुपाता है?

Question

मैं हाल ही में unsafePerformIO पढ़ रहा हूं, और मैं आपको कुछ पूछना चाहता हूं। मैं इस तथ्य के साथ ठीक हूं कि एक असली भाषा बाहरी पर्यावरण से बातचीत करने में सक्षम होना चाहिए, इसलिए unsafePerformIO कुछ हद तक उचित है।

हालांकि, मेरे सबसे अच्छे ज्ञान पर, मुझे यह जानने के लिए किसी भी त्वरित तरीके से अवगत नहीं है कि क्या स्पष्ट रूप से शुद्ध (प्रकारों से निर्णय) इंटरफ़ेस/लाइब्रेरी वास्तव में unsafePerformIO पर कॉल की खोज में कोड का निरीक्षण किए बिना शुद्ध है (दस्तावेज इसका उल्लेख करने के लिए छोड़ सकता है)। मुझे पता है कि यह केवल तभी उपयोग किया जाना चाहिए जब आप सुनिश्चित हों कि पारदर्शी पारदर्शिता की गारंटी है, लेकिन मैं इसके बारे में जानना चाहता हूं।

Answer 1

स्रोत कोड की जांच किए बिना कोई रास्ता नहीं है। लेकिन यह बहुत मुश्किल नहीं है, क्योंकि हैडॉक दस्तावेज में सिंटैक्स-हाइलाइट की गई परिभाषाओं के लिए सीधे एक अच्छा लिंक देता है। उदाहरण के लिए this page पर परिभाषाओं के दाईं ओर "स्रोत" लिंक देखें।

Safe Haskell यहां प्रासंगिक है; इसका उपयोग उन परिस्थितियों में हास्केल कोड को संकलित करने के लिए किया जाता है जहां आप असुरक्षित कार्यक्षमता के उपयोग को अस्वीकार करना चाहते हैं। यदि कोई मॉड्यूल एक असुरक्षित मॉड्यूल (जैसे System.IO.Unsafe) का उपयोग करता है और इसे विशेष रूप से Trustworthy के रूप में चिह्नित नहीं किया गया है, तो यह इसकी असुरक्षित स्थिति का वारिस करेगा। लेकिन unsafePerformIO का उपयोग करने वाले मॉड्यूल आम तौर पर इसे सुरक्षित रूप से उपयोग करेंगे, और इस प्रकार खुद को Trustworthy घोषित करेंगे।

Answer 2

यदि आप सोच रहे हैं, तो unsafePerformIO का उपयोग अन्यायपूर्ण है। documentation for unsafePerformIO यह बताता है: यह केवल उन मामलों के लिए है जहां कार्यान्वयनकर्ता साबित कर सकता है कि संदर्भित पारदर्शिता, यानी "पूरी तरह कार्यात्मक" अर्थशास्त्र को तोड़ने का कोई तरीका नहीं है। यानी, अगर कोई unsafePerformIO का उपयोग इस तरह से करता है कि एक पूर्ण रूप से कार्यात्मक प्रोग्राम इसका पता लगा सकता है (उदाहरण के लिए, एक फ़ंक्शन लिखें जिसका परिणाम केवल इसके तर्कों से अधिक निर्भर करता है), तो यह एक अस्वीकृत उपयोग है।

यदि आप इस तरह के मामले में भाग गए हैं, तो सबसे अधिक संभावना है कि आपको एक बग मिला है।