আপনি যদি টাইপযুক্ত ল্যাম্বডা-ক্যালকুলাসে পুনরাবৃত্ত সংযোগকারীগুলি যেমন Y কম্বিনেটর বা ওমেগা : এটি স্পষ্ট যে এই সংযুক্তকারীগুলির সমস্তই তাদের সংজ্ঞায় কোথাও কোনও ভেরিয়েবলের সদৃশ হয়।
তদতিরিক্ত, এই সমস্ত সংযুক্তকারীগুলি কেবল টাইপ করা ল্যাম্বদা ক্যালকুলাসে টাইপযোগ্য, যদি আপনি এটি পুনরাবৃত্ত প্রকারের সাথে প্রসারিত করেন with , যেখানে পুনরাবৃত্ত টাইপের নেতিবাচকভাবে দেখা দেয়।
যাইহোক, আপনি লিনিয়ার যুক্তি (যেমন, মল) এর তাত্পর্যপূর্ণ-মুক্ত বিভাজনে পূর্ণ (নেতিবাচক-ঘটনা) পুনরাবৃত্ত প্রকারগুলি যুক্ত করলে কী ঘটে?
তারপরে আপনার সংকোচনের জন্য কোনও ক্ষতিকারক প্রয়োজন নেই । আপনি এনকোড করতে টাইপ ভালো কিছু ব্যবহার exponentials এর তবে এটির জন্য পরিচয় বিধি কীভাবে সংজ্ঞায়িত করা যায় তা আমি দেখতে পাচ্ছি না, কারণ এটি সংজ্ঞায়িত করার জন্য একটি নির্দিষ্ট পয়েন্ট সংযুক্তকারী প্রয়োজন বলে মনে হয়। এবং আমি exponentials সংজ্ঞায়িত করতে, সংকোচনের জন্য, একটি নির্দিষ্ট পয়েন্ট সংযোজক পেতে চেষ্টা করছিলাম!
এটি কি এমন ক্ষেত্রে যে মল প্লাস অব্যাহত রিকার্সিভ টাইপগুলি এখনও স্বাভাবিক রয়েছে‽