13
টাইপড ল্যাম্বদা ক্যালকুলাসের জন্য একজন দোভাষী লিখুন
চ্যালেঞ্জটি হ'ল যতক্ষণ সম্ভব কম অক্ষরে অক্ষরযুক্ত ল্যাম্বডা ক্যালকুলাসের জন্য একটি অনুবাদক লিখুন । আমরা টাইপযুক্ত ল্যাম্বডা ক্যালকুলাসটি নিম্নলিখিতভাবে সংজ্ঞায়িত করেছি: বাক্য গঠন নিম্নলিখিত তিন ধরণের অভিব্যক্তি রয়েছে: একটি ল্যাম্বডা এক্সপ্রেশন ফর্ম রয়েছে (λ x. e)যেখানে xকোনও আইনি পরিবর্তনশীল নাম এবং eকোনও আইনি অভিব্যক্তি হতে পারে । এখানে xপ্যারামিটার eবলা …