1
आश्रित प्रकार के सिस्टम में प्रूफ के लिए पुनरावर्ती प्रकार की आवश्यकता क्यों है?
मैं सिद्धांत और आश्रित प्रोग्रामिंग टाइप करने के लिए अपेक्षाकृत नया हूँ। मैं कंस्ट्रक्शन (CoC) और अन्य शुद्ध प्रकार के सिस्टम की गणना कर रहा हूं। मैं विशेष रूप से एक संकलक प्रणाली के लिए एक सबूत-संरक्षण मध्यवर्ती प्रतिनिधित्व के रूप में इसका उपयोग करने में रुचि रखता हूं। मैं …