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