মার্টিন-ল্যাফ টাইপ থিওরির পক্ষে প্রযোজ্যভাবে সঠিক কোডটি লেখার আরও বেশি দক্ষতার দিকে পরিচালিত হবে?


9

এই পোস্টটি কারি-হাওয়ার্ড আইসোমরফিজম এবং মার্টিন-ল্যাফ টাইপ থিওরিটিকে বোঝায় ।

পোস্টটি গণিতের বর্ণনামূলক ভাষা এবং কম্পিউটার প্রোগ্রামিংয়ের অপারেশন ভিত্তিক ভাষার মধ্যে ভবিষ্যতের 'একীকরণের' দাবি করে।

আমার প্রশ্নগুলি হ'ল:

  1. এই ধারণাগুলি কার্যকরভাবে সঠিক কোডটি লেখার জন্য আরও ভাল দক্ষতার (ভাষার মাধ্যমে) দিকে পরিচালিত করবে?

  2. তাত্ত্বিক স্তরে কি এমএলটিটি-র সম্পূর্ণ নিদর্শনগুলি আবিষ্কার করা হয়েছে?

  3. এই পোস্টটি কি সিওকিউ বা আগডায় ইতিমধ্যে কিছু করতে পারে না এমন বর্ণনা করে?

উত্তর:


10

আমি মনে করি না যে আপনার প্রশ্নটি বিশেষভাবে উত্থাপিত হয়েছে। এটি বেশিরভাগ মতামত জিজ্ঞাসা করে। এখানে আমার:

  1. হ্যাঁ.
  2. আপনি কী বলতে চাইছেন তা আমি জানি না, তবে উত্তর সম্ভবত "আরও এমএলটিটি তত্ত্ব করার দরকার আছে, যদিও আমরা অনেক কিছু জানি"।
  3. আপনি কক এবং আগডায় মোটরগাড়ি টাইপের সমস্ত তত্ত্ব করতে পারবেন না। এটি গবেষণার একটি সক্রিয় ক্ষেত্র।

ঠিক আছে - আপনি কিভাবে মূল পোস্ট সম্পর্কিত প্রশ্নযুক্ত প্রশ্ন থাকবে?
হক্কে

3
আমি জানি না কারণ প্রশ্নটি কী জিজ্ঞাসা করছে তা আমি বুঝতে পারি না। দ্বিতীয় প্রশ্নটি খুব বিস্তৃত এবং এর সুস্পষ্ট উত্তর হ'ল "না"। তৃতীয় প্রশ্নটি ঠিক আছে, আমি মনে করি। প্রথম প্রশ্নটি ভবিষ্যতের ভবিষ্যদ্বাণী করতে বলে।
আন্দ্রেজ বাউয়ার
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.