3
वास्तव में एक टाइपकेचर के लिए शुद्धता का प्रमाण क्या साबित होना चाहिए?
मैं कई वर्षों से प्रोग्रामिंग कर रहा हूं, लेकिन सैद्धांतिक सीएस से बहुत अपरिचित हूं। मैं हाल ही में प्रोग्रामिंग भाषाओं का अध्ययन करने की कोशिश कर रहा हूं, और उस हिस्से के रूप में, जाँच और अनुमान लगा रहा हूं। मेरा सवाल यह है कि अगर मैं एक प्रोग्रामिंग …