প্রশ্ন ট্যাগ «lambda-calculus»

ক্রিস ওকাসাকির গবেষণাপত্রে "ফ্ল্যাটেনিং কম্বিনেটরস: প্যারেন্টিজেস ব্যতীত বেঁচে থাকা " তিনি দেখিয়েছেন যে অ্যাপ্লিকেশন অপারেটর বা প্রথম বন্ধনী ছাড়াই টুরিং-সম্পূর্ণ এক্সপ্রেশনগুলি এনকোড করার জন্য দুটি সংযোজক যথেষ্ট এবং প্রয়োজনীয়। জন ট্রাম্পের অ্যাপ্লিকেশন অপারেটরের সাথে প্রিফিক্স কোডিং এস এবং কে সংযুক্তকারীগুলির মাধ্যমে " বাইনারি লাম্বা ক্যালকুলাস এবং কম্বিনেটরি লজিক " -তে …

9 lambda-calculus  combinatory-logic 

সুতরাং এসকে কম্বিনেটর ব্যবহার করে ল্যাম্বডা ক্যালকুলাস পদকে সংযুক্তি যুক্তিতে রূপান্তর করার জন্য একটি অ্যালগরিদম রয়েছে । এটি আকারে বিস্ফোরিত জিনিস উত্পাদন করে । আকারে এই বিস্ফোরণ সম্পর্কে আমি আরও জানতে চাই। আমি তবে আরও ভাল অ্যালগরিদমের কথা ভাবতে পারি না। আমি শুনেছি যে ফাংশনাল ভাষাগুলি ব্যবহারিকভাবে সংযোজকগুলিতে সংকলিত হয় …

9 lambda-calculus  functional-programming  combinatory-logic