2012-03-07 12 views
41

this प्रस्तुति के 30/78 स्लाइड पर, साइमन सुझाव देता है कि प्रकार कक्षाओं के कार्यान्वयन शुरुआत में "निराशा" था। क्या कोई जानता है कि वह क्यों था?टाइप क्लास को कार्यान्वित करने में मुश्किल क्यों थी?

+1

हास्केल लोअर में कोई विशेषज्ञ नहीं, लेकिन शायद क्योंकि यह पहले कभी नहीं किया गया था, और कोई भी नहीं जानता था कि इसे अभी तक कैसे किया जाए। –

+1

यह निश्चित रूप से है, यह हमेशा मामला है :) लेकिन प्रकार के वर्गों के मामले में, वास्तव में क्या समस्याएं उत्पन्न हुईं? –

+0

@ ŁukaszLew - नहीं, जहां तक ​​मैं इसे समझता हूं यह वाडलर और ब्लॉट का एक बिल्कुल नया विचार था। तो उदाहरण के लिए, आप अन्य समाधानों को नहीं जा सकते और अनुकूलित नहीं कर सके। – Ingo

उत्तर

77

मुझे लगता है कि मैं उन लोगों में से एक हूं जिनके पास पहले हाथ का अनुभव है कि यह मुश्किल क्यों था, क्योंकि जब मैंने कोई पूर्व कला नहीं थी तब मैंने एचबीसी में इसे लागू किया था।

तो वाडलर & ब्लॉट पेपर से स्पष्ट क्या था कि प्रकार की जांच हिंडली-मिलनर प्रकार की जांच का विस्तार था और रनटाइम पर आपको आसपास के शब्दकोश पास करना चाहिए। इससे वास्तविक कार्यान्वयन एक बड़ा कदम है। कठिनाई को समझने का एक अच्छा तरीका वास्तव में इसे वाडलर-ब्लॉट पेपर से शुरू करना है।

सबसे पहले, आपको एक प्रकार के चेकर के विचार के साथ आने की आवश्यकता है जो न केवल प्रकारों की जांच करता है बल्कि कार्यक्रम को भी बदलता है; टाइपिंग करते समय सबूत (शब्दकोश) डालना। आपको एक अनुमान प्रणाली के रूप में उदाहरण घोषणाओं का उपयोग करके पुराने लोगों से नए शब्दकोश बनाने का तरीका जानने की भी आवश्यकता है।

यह सब पीछे की ओर स्पष्ट हो सकता है, लेकिन याद रखें कि उस समय से स्पष्टीकरण के साथ बहुत से कागजात लिखे गए हैं। एक पेपर से कुछ कैसे करना है इसे समझना पहली जगह में इसके साथ आने से बहुत अलग है।

इसके अलावा, आप कक्षाओं को उचित रूप से कुशल बनाना चाहते हैं जो समस्याओं के अपने सेट को जन्म देती है।

+7

यदि आप इसे कहीं (या पोस्ट) करना चाहते हैं तो मुझे इस कहानी का लंबा संस्करण पसंद आएगा। –

+4

@ जॉनएफ.मिलर वेल, यह अब 20 साल पहले है, इसलिए विवरण अब मेरी याद में स्पष्ट नहीं हैं। – augustss

+6

क्या आप अधिक जानकारी में जा सकते हैं? क्या आप उन कागजात को भी इंगित कर सकते हैं जिनका आप उल्लेख करते हैं? –

संबंधित मुद्दे