क्या यह हास्केल आईओ का उचित दृश्य है?

Question

क्या यह हास्केल आईओ का उचित दृश्य है?

जब एक कार्यक्रम को देखते हुए, हास्केल क्रम निम्नलिखित है: वापस एक "आईओ गणना"

यह तो कार्यान्वित या प्राप्त करने के लिए

1. कॉल main "चलाता है" कि गणना जिससे पक्ष के सभी प्रदर्शन गणना गणना करता है।

यह दो चरण दृष्टिकोण एक शुद्ध कार्य बने रहने के लिए main की अनुमति देता है।

इस मामले में एक आईओ गणना हैस्केल के एक विशेष संस्करण की तरह है जिसमें स्पष्ट अनुक्रमण है - या शायद इसका वर्णन करने का एक बेहतर तरीका है?

Answer 1

हाँ, यह एक सभ्य अर्थपूर्ण मॉडल है कि कार्यक्रम कैसे निष्पादित किए जाते हैं। कार्यान्वयन इस तरह काम नहीं करता है, लेकिन आप अभी भी उस मॉडल का उपयोग प्रोग्राम के बारे में तर्क के लिए कर सकते हैं।

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

या आप इस कह सकते हैं:

• संकलक (क्रम नहीं) का मूल्यांकन करता है main।
• उस मूल्यांकन का परिणाम एक अनिवार्य कार्यक्रम है।
• यह प्रोग्राम लक्ष्य निष्पादन योग्य को सहेजा गया है।
• फिर आप लक्ष्य कार्यक्रम निष्पादित करते हैं।

यानी, "मूल्यांकन main" अपने मॉडल का हिस्सा संकलक करने के लिए धक्का दिया है, और के रूप में आप पहली बार में वर्णन क्रम में नहीं है।

Answer 2

IO का आपका दृश्य अच्छा है, लेकिन मैं इस लाइन

मुख्य कॉल वापस एक "आईओ गणना"

सोचने के लिए के बारे में हास्केल वह यह है कि सबसे अच्छा तरीका है पाने के लिए के साथ एक समस्या है कार्य कुछ भी नहीं करते हैं। इसके बजाय, आप घोषणा करते हैं कि क्या मानते हैं। एक कार्यक्रम में IO मान का विवरण होता है जिसे main कहा जाता है। एकमात्र भावना जिस पर यह "मुख्य कहता है" यह है कि main की घोषणा कमजोर हेड सामान्य फॉर्म (या कुछ समान) तक कम हो गई है।

IO मनमाने ढंग से दुष्प्रभाव-पूर्ण गणना का प्रकार है।हास्केल का शुद्ध सबसेट मूल्यों का एक पूरी तरह से घोषणात्मक वर्णन है, जो अनिश्चित वर्णनों की अनुमति देता है। सेट सिद्धांत के रूप में गणितीय भाषा के रूप में हास्केल के बारे में सोचें। सेट सिद्धांत में वक्तव्य कुछ भी नहीं करते हैं, लेकिन उनमें जटिल कंप्यूटेशंस शामिल हो सकते हैं जैसे "सबसे छोटा सेट जिसमें अर्कर्मन_फंक्शन (30)" शामिल है। वे "एस = उन सभी सेटों के सेट भी शामिल कर सकते हैं जिनमें स्वयं शामिल नहीं है"

@amindfv आधा दाएं है: main "शुद्ध कार्य" नहीं है। यह बिल्कुल एक समारोह नहीं है। यह एक मूल्य है, शुद्ध कमी द्वारा परिभाषित, एन्कोडिंग अस्पष्ट गणना।