নির্ভরশীল-টাইপড প্রোগ্রামিংয়ে, ডেটা পচন এবং পুনরাবৃত্তি সম্পাদনের দুটি প্রধান উপায় রয়েছে:
- নির্ভরশীল প্যাটার্নের মিল : ফাংশন সংজ্ঞাগুলি একাধিক ধারা হিসাবে দেওয়া হয়। একীকরণ নিশ্চিত করে যে সমস্ত বাদ দেওয়া মামলা অসম্ভব, এবং একটি বাহ্যিক সমাধানকারী নিশ্চিত করে যে পুনরাবৃত্তি সুপ্রতিষ্ঠিত।
- এলিমিনেটরস : প্রতিটি ডেটাটাইপ সাথে একটি সম্পর্কিত ধ্রুবক , যা একটি আনয়ন নীতি হিসাবে কাজ করে এবং পুনরাবৃত্ত ফাংশন হিসাবে যা টাইপ মানকে পচে যায় । এগুলি আরও ভার্জোজ, তবে মোট হওয়ার সুবিধা রয়েছে (সমস্ত মামলা ) এবং নির্মাণের মাধ্যমে সমাপ্তি।
আমি মতো সাধারণ ডেটাটাইপগুলির জন্য এলিমিনেটর দেখেছি , যেখানে এলিমিনেটর মূলত গাণিতিক আনয়ন, বা , যেখানে এলিমিনেটর মূলত একটি ভাঁজ।
আমি নির্ভরশীল প্যাটার্ন মিলের বিষয়ে বেশ কয়েকটি কাগজ পড়ছি এবং অনেকগুলি এমন তত্ত্বগুলি উল্লেখ করে যেখানে ডেটাটাইপগুলি সংজ্ঞায়িত করা যায় এবং থিম দ্বারা নির্মূলকারী সরবরাহ করা হয়। উদাহরণস্বরূপ, দূর নির্ভরশীল প্যাটার্ন ম্যাচিং কিভাবে UTT eliminators উপর ভিত্তি করে তৈরি, এবং কিভাবে প্যাটার্ন ম্যাচিং সবর্জনবিদিত উপস্থিতিতে বর্জন কাজে রূপান্তরিত হতে পারে বর্ণনা করে । আমার বোধগম্যতা হল যে একবার ডেটাটাইপ সংজ্ঞায়িত হয়ে গেলে তত্ত্বটি এলিমিনেটর সরবরাহ করে।
যা আমি খুঁজে পাইনি (বা কমপক্ষে, যদি আমি এটি দেখেছি তবে তা স্বীকৃতি জানাতে পারি নি) এটি কীভাবে বিলোপকারীদের, তার প্রকার এবং শব্দার্থক উভয়ই পেতে পারে তার একটি ভাল বর্ণনা।
কেউ কি আমাকে এমন একটি রেফারেন্সের দিকে নির্দেশ করতে পারেন যা বর্ণনা করে যে কীভাবে একজন ডেটাটাইপের সংজ্ঞা থেকে একজন এলিমিনেটর পেতে পারেন?
fixএবং match। আমার হাতে কোনও রেফারেন্স নেই, তবে আমি জানি যে এই এলিমিনেটরটি কীভাবে উত্পন্ন হয় সে সম্পর্কে আমি কিছু পড়েছি। cs.stackexchange.com/questions/104/… আগ্রহী হতে পারে।
T, কক একটি আনয়ন নীতিটি সংজ্ঞায়িত করে T_indযা নির্ভরশীল বিলোপকারী। এটি পুনরাবৃত্তি এবং প্যাটার্ন মিলের ক্ষেত্রে সংজ্ঞায়িত করা হয়েছে তবে আপনি নীতিগতভাবে এটি একই ধরণের (একই শব্দার্থবিজ্ঞান সহ) একটি নতুন ধ্রুবক হিসাবে ধরে নিতে পারেন।