কেউ কি সংক্ষিপ্তভাবে ব্যাখ্যা করতে পারেন (যদি সম্ভব হয়!) বা টাইপ করা ল্যাম্বদা ক্যালকুলাস এবং আরও সাধারণ টাইপযুক্ত ল্যাম্বদা ক্যালকুলির মধ্যে পার্থক্যগুলির সংক্ষিপ্তসার করে আমাকে একটি রেফারেন্সে উল্লেখ করতে পারেন?
আমি বিশেষত তাদের অভিব্যক্তিপূর্ণ শক্তির বিবৃতি, যুক্তি / পাটিগণিত সিস্টেম বা গণনা পদ্ধতির সমতুল্যতা এবং প্রযোজ্য ক্ষেত্রে প্রোগ্রামিং ভাষার সাথে সাদৃশ্যগুলি খুঁজছি।
আমি অবশ্যই পড়ার ইচ্ছাকৃত, ক্যালকুলি এবং শ্রেণিবিন্যাসের মধ্যে তাদের সমতা / পার্থক্য / স্থানের রূপরেখার মতো একটি রেফারেন্স টেবিলের মতো কিছু আমাকে সেগুলি সাজানোর জন্য সহায়তা করার জন্য একটি বিশাল রেফারেন্স হবে।
নীচে সঠিক না বলা, কেবলমাত্র কিছু ইমপ্রেশনগুলি একসাথে স্কেচ করার চেষ্টা করে দেখতে হবে যে তারা কমপক্ষে একটি প্রাথমিক বিন্দু হিসাবে কাজ করে কিনা (বা কিছু সংশোধন করার জন্য!)
অবিরত ল্যাম্বদা ক্যালকুলাস - এক। প্রথম অর্ডার যুক্তিতে - এক্স করতে পারে না
কেবল টাইপ করা ল্যাম্বদা ক্যালকুলাস - ইক টু ... লজিক, লিস্পের সাথে সম্পর্কিত?
'পলিমারফিক' ল্যাম্বদা ক্যালক - ইত্যাদি etc.
ক্যালকুলাস অফ কনস্ট্রাকশনস - ইনট্রুশনালিস্ট লজিক?
সংযুক্ত যুক্তি - তুলনাযোগ্য ??? টাইপ করা ল্যাম্বদা ক্যালকুলাস, এপিএল / জে ধরনের ভাষার সাথে সম্পর্কিত
যদি এটি ল্যাম্বডা কিউব এবং এর তিনটি অক্ষের সাথে যুক্ত হয় তবে আরও ভাল।
আমি লাম্বদা ক্যালকুলাসের মূল বিষয়গুলি এবং কার্যকরী ভাষাগুলির সাথে প্রোগ্রামিংয়ের সাথে পরিচিত হয়েও, আমি কখনও মাথাটি জড়িয়ে রাখিনি, বা ল্যাম্বডায় (এবং সম্ভবত পাই?) ক্যালকুলির বিভিন্ন স্বাদযুক্ত এবং এর সাথে কোনও উল্লেখযোগ্য সংযোগ করেছি।
আমি যখন এই গবেষণার চেষ্টা করতে পারি না তবে নিজেকে সাইডেট্র্যাকড অবস্থায় খুঁজে পেতে পারি, অনেকগুলি ব্রাউজারের ট্যাব খোলা হয় এবং এতগুলি দিকগুলিতে শাখা করি আমি কখনই কোনও গভীরতার সাথে তাদের মধ্যে anyুকি না!
আমি যা চাইছি তা যুক্তিসঙ্গত কিনা তা আমি নিশ্চিত নই তবে আশা করি খুব কমপক্ষে আমি এমন একটি ছবি আঁকলাম যাতে কিছু পড়ার পরামর্শ দেওয়া যায় যা আমি যা খুঁজছি তা ব্যাখ্যা করতে পারে?
lo.logicট্যাগ যুক্ত করা হয়েছে দেখুন। সম্ভবত একটি বোবা প্রশ্ন, কিন্তু যে কি জন্য দাঁড়ায়?