हाल ही में, मुझे हास्केल में गहरी दिलचस्पी हो गई है।
सामान्य रूप से नई अवधारणाओं (उदाहरण के लिए फ़ोरल कीवर्ड और एसटी मोनद ) और हास्केल के प्रकार प्रणाली को सीखने का प्रयास करते हुए , मैं लगातार श्रेणी सिद्धांत और लैम्ब्डा कैलकुलस से अवधारणाओं में चलता हूं । तो, मुझे आश्चर्य है:
हास्केल के प्रकार प्रणाली की मजबूत समझ के लिए गणित की कौन सी अन्य शाखाएं महत्वपूर्ण हैं?
क्या मैं इन गणितों का कठोर अध्ययन कर सकता हूं और इसके बजाय कुछ निश्चित अवधारणाओं पर ध्यान केंद्रित कर सकता हूं? (उदाहरण के लिए लैम्ब्डा कैलकुलस में क्वांटिफायर।) यदि हां, तो कौन सी अवधारणाएं आवश्यक हैं?
मैं जल्द ही टाइप और प्रोग्रामिंग लैंग्वेज चुनने की उम्मीद कर रहा हूं , फिर भी, कृपया उपयुक्त पढ़ने वाले किसी भी वैकल्पिक संसाधन का सुझाव दें।
4
हास्केल के साथ जानने और काम करने के लिए श्रेणी सिद्धांत सामग्री आवश्यक नहीं है, लेकिन यह कुछ मूलभूत अवधारणाओं के साथ मदद कर सकता है। इस सामान को समझने के लिए गणित की एकमात्र वास्तविक शाखा श्रेणी थ्योरी सामान है, यह न केवल वहां निहित है, बल्कि इसमें आपको अन्य गणित पर बहुत कम निर्भरता मिलेगी, यह उस तरह से बहुत अलग क्षेत्र है। लैम्ब्डा कैलकुलस उठाओ और विभिन्न लैम्बडा वेरिएंट से जुड़े विभिन्न प्रकार के सिस्टम का अध्ययन करें, और इसके अलावा यह एसओ उत्तर पढ़ें और श्रेणी सिद्धांत के बारे में पढ़ें।
—
जिमी होफा
मैं अंतर्निहित प्रकार प्रणाली में महारत हासिल करने के लिए नहीं पकड़ा जा सकता। कम से कम सब कुछ जानने के लिए आप कुछ परियोजनाओं को पूरा करने से रोक नहीं है। हास्केल में बस कुछ सरल परियोजनाओं को पूरा करने से मुझे इसके पीछे की गणितीय सुंदरता को देखने की अनुमति मिली और मुझे इसे समझने के लिए प्रेरित किया।
—
चाओसपांडियन
@ChaosPandion मैं उस दृष्टिकोण से सहमत हूं, लेकिन मैं एक ऐसी परियोजना पर काम कर रहा हूं जिसके लिए मोनाड में लिखने की आवश्यकता हो सकती है
—
रोब
ST। यह कोड लिखने के लिए मुश्किल है जो तब संकलित करेगा जब मैं सभी प्रासंगिक प्रकार के हस्ताक्षरों को नहीं समझता हूं, इसलिए मुझे लगा कि प्रकार प्रणाली के बारे में मेरी समझ में सुधार होगा।
@robjb - मैं आपसे निश्चित रूप से सहमत हूँ कि एक गहरी समझ विवेकपूर्ण है। ईमानदारी से मेरी टिप्पणी को आम दर्शकों पर अधिक निर्देशित किया गया था जो हास्केल को भी कोशिश करने के लिए डरा सकते हैं।
—
चोसपंडियन