ল্যাম্বদা ক্যালকুলাস এবং সংযুক্ত যুক্তি কি একই রকম?


26

আমি বর্তমানে হিন্ডলি এবং সেলডিনের " ল্যাম্বডা-ক্যালকুলাস এবং সংযুক্তকারী " পড়ছি । আমি কোনও বিশেষজ্ঞ নই, তবে কার্যকরী প্রোগ্রামিংয়ের সাথে জড়িত থাকার কারণে (লিস্প এবং এসআইসিপি দিয়ে শুরু করা, এবং এখন আর এবং হাস্কেলের সাথে) ল্যাম্বডা ক্যালকুলাসের প্রতি সর্বদা আগ্রহী হয়েছি।

"এ বাইনারি ল্যামডা ক্যালকুলাস এবং সমন্নয়ের লজিক" , জন Tromp বলে:

সিএল ল্যাম্বডা ক্যালকুলাসের সাবসেট হিসাবে দেখা যেতে পারে ... তত্ত্বগুলি মূলত একই রকম হয়, এক্সটেনসিলিটির নিয়মের উপস্থিতিতে সমতুল্য হয়ে ওঠে।

কোন পরিস্থিতিতে ল্যাম্বডা ক্যালকুলাসের পরিবর্তে সংযুক্ত যুক্তি ব্যবহার করা হবে ?

কোন রেফারেন্স প্রশংসা করা হবে।


এইচপি বারেন্ড্রেগেটের "ল্যাম্বদা ক্যালকুলাস: এর সিনট্যাক্স এবং শব্দার্থবিজ্ঞান" একবার দেখুন।
কাভেহ

উত্তর:


15

সংযুক্ত যুক্তিকে যেটি আলাদা করে তা হ'ল এটি পরিবর্তনশীল মুক্ত। এটি কখনও কখনও রূপান্তরকারী ও দার্শনিক যুক্তিতে কার্যকর, যেখানে ভেরিয়েবলের স্থিতিটি জটিল।

এটি বাস্তবায়নেও কার্যকর হতে পারে, যেহেতু ভেরিয়েবলগুলি পরিচালনা করা মাথা ব্যথা হতে পারে। সিএফ। যেমন, হিউজেস, 1982, সুপার-সংযুক্তকারী: প্রয়োগকারী ভাষার জন্য একটি নতুন বাস্তবায়ন পদ্ধতি


3
সম্মিলিত যুক্তি প্রয়োগের ক্ষেত্রে আর কার্যকর বলে বিবেচিত হয় না এবং এটি কখনও ব্যবহার করা হয়নি কারণ "ভেরিয়েবলগুলি পরিচালনা করা মাথা ব্যথার কারণ হতে পারে"। অলস ভাষার জন্য গ্রাফ হ্রাস বাস্তবায়নের জন্য কম্বিনেটর এবং বৈকল্পিকগুলি ব্যবহৃত হয়েছিল, তবে আজকাল হাস্কেল (সর্বাধিক বিশিষ্ট অলস ভাষা) গ্রাফ হ্রাস বাস্তবায়নের জন্য আরও অনেক যুক্তিসঙ্গত কৌশল ব্যবহার করে।
ব্লেজারব্লেড

উদাহরণস্বরূপ এস। পেটোন জোনস, 1992, দেখুন "স্টক হার্ডওয়্যারে অলস কার্যকরী ভাষাগুলি প্রয়োগ করা: স্পাইনলেস ট্যাগলেস জি-মেশিন" - গবেষণায়.মাইক্রোসফট
কপিরাইট

2
@ ব্লাইজারব্ল্যাড: অলস ভাষার জন্য গ্রাফ হ্রাস বাস্তবায়নের জন্য সম্মিলক এবং রূপগুলি ব্যবহৃত হয়েছিল - সতর্কতা অবলম্বন করুন: হাস্কেল এবং জিএইচসি একই নয় এবং সাহিত্যে বেশ কয়েকটি সুপারকোম্বিনেটর ভিত্তিক হাস্কেল রয়েছে। তবে এটি সত্য, কার্যকরী প্রোগ্রামিংয়ের অত্যাধুনিক শিল্পটি পরিবেশকে পরিচালনা করার দক্ষতার সুবিধাগুলি খুঁজে পেয়েছে যা এর জটিলতা ছাড়িয়ে যায়। আপনি এখনও সুপারকোমবিনেটরগুলি দেখতে পাচ্ছেন, উদাহরণস্বরূপ, উচ্চ-অর্ডার লজিক প্রোগ্রামিংয়ে, যেখানে এটি সত্য নয়। সুপারকোম্বিনেটররা উচ্চ-অর্ডার প্রোগ্রামিং বাস্তবায়নে ব্যবহৃত কৌশলগুলির জায়গুলির অংশ হিসাবে রয়ে যায়।
চার্লস স্টুয়ার্ট

সুপারকোম্বিনেটরগুলি কেবল ফ্রি ভেরিয়েবলগুলি এড়িয়ে চলে, বাঁধাই করা হয় না, তাই আইএমএইচও তারা প্রতি সেঙ্কে সংযুক্ত যুক্তির ব্যবহার হিসাবে বিবেচনা করা যায় না। এগুলি বেশিরভাগ বিশেষ ল্যাম্বদা পদ। সুপারকোমবিনেটর, ল্যাম্বডা-উত্তোলিত প্রোগ্রামগুলির মধ্যে (যদি কিছু থাকে তবে নিশ্চিত না) এবং জিএইচসির বাস্তবায়ন (যেখানে বিশিষ্টতার জন্য ধন্যবাদ দ্বারা তার মুক্ত ভেরিয়েবলের পয়েন্টারগুলি হোস্ট ফাংশন থেকে অনুলিপি করা যেতে পারে) এর মধ্যে অনেক ছোট পার্থক্য রয়েছে। এটি বলার পরে, আমি সাম্প্রতিক ইউট্রেচ হাস্কেল সংকলকটির সাথেও ভাবছিলাম, যা জিএইচসির সাথে খুব মিল, তবে আইআইআরসি ল্যাম্বদা-উত্তোলন ব্যবহার করে; এখনও, এটি সিএল নয়।
ব্লেজারব্লেড

আমি উচ্চ-অর্ডার লজিক প্রোগ্রামিং সম্পর্কে জানতাম না - আমি এটিতে এই কাগজটি পেয়েছি: springerlink.com/content/t68777w270713p5n । দুর্ভাগ্যক্রমে, এটি পড়ার আমার পক্ষে খুব কম সম্ভাবনা।
ব্লেজারব্লেড

4

জন ট্রম্পের মন্তব্যে উল্লেখ করে, আমি মন্তব্য করতে চাই যে সংশ্লেষ যুক্তি ল্যাম্বডা ক্যালকুলাস থেকে খুব আলাদা মনে হয় । যেহেতু আপনার আগ্রহটি কার্যকরী প্রোগ্রামিং থেকে উদ্ভূত, তাই আপনি সংযুক্তি যুক্তি সম্পর্কে সত্যিই এটি জানতে চান না।

কম্বিনেটরি লজিক সম্পর্কে আমার প্রিয় টিউটোরিয়ালটি ক্যামব্রিজ বিশ্ববিদ্যালয়ের এই বক্তৃতা নোটগুলিতে রয়েছে

যাইহোক, তারা তথাকথিত অলস (বা প্রয়োগকারী) ভাষার প্রয়োগ ব্যাখ্যা করার জন্য প্রবর্তিত হয়েছে; আমার আগের মন্তব্যে উল্লিখিত হিসাবে, এই জাতীয় কৌশলগুলি এখন পুরানো।


যেহেতু সংযুক্ত ভাষাগুলি অলস / প্রয়োগকারী ভাষা প্রয়োগ করতে ব্যবহৃত হয় না, এখন আর্ট কৌশলগুলির কী অবস্থা? এবং এই কৌশলগুলিকে শ্রেণিবদ্ধ করার জন্য কি কোনও নাম / বিভাগ আছে?
সিএমসিডিগ্রাগনকাই

আলোচনার জন্য @ সিএমসিডিগ্রাগনকাই cstheory.stackexchange.com/a/306/989 এ মন্তব্য দেখুন । সংক্ষিপ্ত ব্যবহারিক উত্তরটি হ'ল "জিএইচসি কী করে তার কাগজপত্র দেখুন": অলস প্রোগ্রামগুলিকে দ্রুত করার জন্য একত্রে একত্রিত হয়ে বিভিন্ন কৌশল রয়েছে (এসটিজি মেশিন এবং অপ্টিমাইজেশন যেমন কঠোরতা বিশ্লেষণ উভয় সহ) রয়েছে।
ব্লেজারব্লেড
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.