10
करी-हावर्ड इसोर्फिज्म से उत्पन्न होने वाले सबसे दिलचस्प समानताएं क्या हैं?
मैं अपने प्रोग्रामिंग जीवन में अपेक्षाकृत देर से करी-हावर्ड आइसोमोर्फिज्म पर आया , और शायद यह मेरे द्वारा पूरी तरह से मोहित होने में योगदान देता है। तात्पर्य यह है कि प्रत्येक प्रोग्रामिंग अवधारणा के लिए औपचारिक तर्क में एक सटीक एनालॉग मौजूद है, और इसके विपरीत। यहाँ मेरे सिर …