प्रारंभ प्रकार सिस्टम सिद्धांत

Question

के लिए पुस्तकें मैं टाइप सिस्टम सिद्धांत का अध्ययन करना चाहता हूं। मेरे पास सिस्टम सिस्टम टाइप में कोई पृष्ठभूमि नहीं है, इसलिए मैं शुरुआत में कम या कम हूं (लेखों को छोड़कर मैंने इस विषय पर पढ़ा है और जो मुझे उपयोग की गई नोटेशन के कारण डराता है)। कुछ अच्छी किताबें क्या हैं जो मुझे शुरू कर सकती हैं? मैं बेंजामिन सी पिएर्स की "प्रकार और प्रोग्रामिंग भाषाएं" पुस्तक देख रहा था। क्या यह एक शुरुआत के लिए उपयुक्त है या यह बहुत मुश्किल है? यदि यह बहुत मुश्किल है तो मैं अपना अध्ययन शुरू करने के लिए और क्या उपयोग कर सकता हूं?

धन्यवाद,

-

चीयर्स, एलेक्स

Answer 1

मुझे लगता है कि प्रकार और प्रोग्रामिंग भाषाओं के लिए एक अच्छा विकल्प होगा।

जब मैंने पहली बार तापाल पढ़ा है, तो मैं टाइप सिद्धांत में भी शुरुआत कर रहा था, और मुझे समझने में बहुत मुश्किल नहीं मिली।

आप लेख आप देखा है में इस्तेमाल किया अंकन का एक बहुत देखेंगे, लेकिन इससे पहले कि यह प्रयोग किया जाता है अंकन समझाया जाएगा, तो यह एक समस्या नहीं होनी चाहिए। एक बार जब आप जानते हैं कि का अर्थ क्या है, तो वास्तव में नोटेशन के बारे में डरावना कुछ भी नहीं है।

जो इन चीजों के साथ अक्सर होता है। कभी-कभी मुझे लगता है कि अधिकांश गणित और औपचारिक कंप्यूटर विज्ञान में साधारण चीजों के लिए डरावनी दिखने वाली टिप्पणियों का आविष्कार होता है, इसलिए अशिक्षित लोगों को यह नहीं पता कि यह वास्तव में कितना आसान है।

Answer 2

TAPL को समझने के लिए एक मुश्किल किताब है और स्नातकों (और संभवतः पीएचडी उम्मीदवारों) के उद्देश्य से है। यह निश्चित रूप से शुरुआती लोगों के लिए नहीं है। इसके बजाय मैं जॉन सी मिशेल द्वारा 'प्रोग्रामिंग लैंग्वेज में अवधारणाओं' जैसी पुस्तक की सिफारिश करता हूं, जिसका उद्देश्य स्नातक को मूलभूत बातों से पहले परिचित होना है।