हास्केल समिति ने I / O का प्रतिनिधित्व करने के लिए भिक्षुओं को क्यों चुना?

Question

स्वच्छ भाषा का उपयोग करता विशिष्टता प्रकार मैं / एक पूरी तरह कार्यात्मक सेटिंग में हे संभालने के लिए। हास्केल समिति भिक्षुओं के बजाय क्यों गई? क्या राज्य को संभालने के लिए अन्य प्रस्ताव थे कि समिति ने जांच की लेकिन उसके खिलाफ निर्णय लिया?

_{नोट : मैं भिक्षुओं और कंप्यूटिंग के अन्य रूपों के बीच एक पवित्र युद्ध की तलाश में नहीं हूं। आइए विषय को केवल I / O के बारे में समिति की पसंद पर रखें।}

Comments

संबंधित: क्यों भिक्षुओं? यह साइड-इफेक्ट्स को कैसे हल करता है?

— यनीस

Answer 1

हास्केल के एक इतिहास के अनुसार : क्लास के साथ आलसी होना (खंड 7 देखें) तीन अलग-अलग मॉडलों को शुरू में माना गया था: धाराएं , निरंतरता और "दुनिया गुजरती" (मुझे क्लीन के बारे में ज्यादा जानकारी नहीं है, लेकिन ऐसा लगता है कि यह स्वच्छ तरीका है ?)।

खंड 7.2 का अंतिम पैराग्राफ बताता है कि इस समय विशिष्टता प्रकार की अवधारणा विकसित नहीं हुई थी:

यह "विश्व-पासिंग" मॉडल हास्केल के लिए कभी भी गंभीर दावेदार नहीं था, हालांकि, हमने विश्व राज्य में "एकल-थ्रेडेड" पहुंच सुनिश्चित करने का कोई आसान तरीका नहीं देखा। (स्वच्छ डिजाइनरों ने अंततः "विशिष्ट प्रकार" के उपयोग के माध्यम से इस समस्या को हल किया)

भिक्षुओं की अवधारणा का परिचय हास्केल के बाद के संशोधन में (अन्य कार्यों से पुन: उपयोग) किया गया है क्योंकि इसका परिणाम क्लीनर कोड (निरंतरता / धाराओं की तुलना में) है:

मौद्रिक दृष्टिकोण तेजी से पहले के मॉडल पर हावी था। प्रकार अधिक कॉम्पैक्ट हैं, और अधिक जानकारीपूर्ण हैं।

Answer 2

सबसे अच्छी व्याख्या जो मैंने देखी है, वह है साइमन पेटन-जोन्स की " टैकलिंग द अवेकवर्ड स्क्वाड ।"

कागज से मुझे जो याद है, उससे आलस्य के मुद्दों ने निर्णय में एक बड़ी भूमिका निभाई। (मुझे यकीन नहीं है कि अगर क्लीन उसी तरह से हास्केल है तो आलसी है।)

Comments

स्वच्छ भी आलसी है।

— क्रिसकॉक