মনে করুন যে কোনও ব্যক্তি কোডের বৈশিষ্ট্যগুলি যেমন সামগ্রিকতা এবং কার্যকরী বিশুদ্ধতার বাইরে যুক্তি করতে চান - কেউ মেমরির খরচ বা কোনও ফাংশনের অ্যালগরিদমিক জটিলতা সম্পর্কেও চিন্তা করে। নির্ভরশীল টাইপিং এবং এফেক্টস সিস্টেমের মাধ্যমে এটি করা যায়?
উত্তর:
হ্যাঁ আমি পারি. যদিও ধারণাগতভাবে এটি এতটা কঠিন নয়, এটি এত বেশি অধ্যয়ন করা হয়নি। ক্ষেত্রটির একটি দিক ব্যয় শব্দার্থিক যেমন গাই ব্লেলোচ গবেষণা করেছেন ।
অ্যান্টন উল্লিখিত ভিডিওটির শিরাতে ডিউলিওসনের খাঁটি ফাংশনাল ডেটা স্ট্রাকচারের জন্য লাইটওয়েট সেমিফর্মাল টাইম জটিলতা বিশ্লেষণে কাজ করেছেন । এটি প্রকৃতপক্ষে প্রতিটি অপারেশন ব্যয় বহন করতে একটি মোনাড ব্যবহার করে। শব্দার্থানুক্রমিক স্তরে অনুরূপ একটি মোনাড ইন্ডাকটিভ টাইপের সাথে ক্রিয়ামূলক ভাষার জন্য ডোনোটেশনাল ব্যয় শব্দার্থবিদ্যায় ব্যবহৃত হয় । এখানে ২০১ 2016 সালের একটি কাগজ কোক-তে অনুরূপ কিছু করছে , রানিং-টাইমসের অভ্যন্তরীণ যাচাইকরণের জন্য একটি কক লাইব্রেরি ।
নুপিআরএল-এর লোকেরাও দীর্ঘদিন ধরে এই জাতীয় কাজ করতে আগ্রহী। ইন Contstructive প্রকার তত্ত্ব মধ্যে কম্প্যুটেশনাল জটিলতা প্রকাশ , যা মূলত একটি কাঠামোবদ্ধ কর্মক্ষম শব্দার্থবিদ্যা উপর গণক পরিমাণ। যেখানে এটি কিছুটা আকর্ষণীয় হয়ে উঠবে তা হ'ল আপনি ভাষার শব্দার্থকে ভাষার মধ্যে প্রতিবিম্বিত করতে পারেন। নেভ কমপুটেশনাল টাইপ থিওরির চূড়ান্ত বিভাগ, বিভাগ 12 এর উদাহরণটি এই ধরণের জিনিসটিকে চিত্রিত করে এবং আলোচনা করে।