10
কারি-হাওয়ার্ড আইসোমরফিজম থেকে উত্সাহিত সবচেয়ে আকর্ষণীয় সমতুল্য কি কি?
আমি আমার প্রোগ্রামিং জীবনে তুলনামূলকভাবে দেরী করে কারি-হাওয়ার্ড আইসোমর্ফিবাদ নিয়ে এসেছি এবং সম্ভবত এটি আমার এতে মুগ্ধ হওয়ার ক্ষেত্রে অবদান রাখে। এটি বোঝায় যে প্রতিটি প্রোগ্রামিং ধারণার জন্য ফর্মাল লজিকের একটি সুনির্দিষ্ট এনালগ থাকে এবং বিপরীতে। এই জাতীয় উপমাগুলির একটি "বেসিক" তালিকাটি এখানে আমার মাথার উপরের অংশে রয়েছে: program/definition | …