"এটি জানতে" আমি কেবল ল্যাম্বদা ক্যালকুলাসে পড়ছি। আমি এটিকে ট্যুরিং মেশিনের বিপরীতে গণনার বিকল্প রূপ হিসাবে দেখছি। এটি ফাংশন / হ্রাস (অযৌক্তিকভাবে কথা বলা) সহ জিনিসগুলি করার একটি আকর্ষণীয় উপায়। কিছু প্রশ্ন আমার দিকে ঝুঁকতে থাকে যদিও:
- ল্যাম্বডা ক্যালকুলাসের বিন্দুটি কী? কেন এই সমস্ত ফাংশন / হ্রাস মাধ্যমে? উদ্দেশ্য কি?
- ফলস্বরূপ আমি অবাক হয়েই চলেছি: সিএস তত্ত্বকে এগিয়ে নিতে ল্যাম্বডা ক্যালকুলাস ঠিক কী করেছিল? এটি এমন কী অবদানগুলি ছিল যা আমাকে তার অস্তিত্বের প্রয়োজনীয়তা বোঝার "আহ" মুহুর্তের অনুমতি দেয়?
- লাম্বদা ক্যালকুলাসটি অটোমেটা তত্ত্বের পাঠ্যগুলিতে আবৃত হয় না কেন? সাধারণ রুটটি বিভিন্ন অটোমেটা, ব্যাকরণ, টিউরিং মেশিন এবং জটিলতা ক্লাসের মধ্য দিয়ে যেতে হয়। লাম্বদা ক্যালকুলাস কেবল এসআইসিপি স্টাইলের কোর্সের জন্যই সিলেবাসে অন্তর্ভুক্ত রয়েছে (সম্ভবত নয়?) তবে আমি খুব কমই এটিকে সিএসের মূল পাঠ্যক্রমের একটি অংশ হতে দেখেছি। এটি কি বোঝায় যে এটি এত মূল্যবান নয়? এবং সম্ভবত আমি এখানে কিছু মিস করছি?
আমি সচেতন যে ফাংশনাল প্রোগ্রামিং ভাষাগুলি ল্যাম্বডা ক্যালকুলাসের উপর ভিত্তি করে তবে আমি এটি বৈধ অবদান হিসাবে বিবেচনা করছি না, যেহেতু এটি প্রোগ্রামিং ভাষার আগে আমাদের তৈরি হয়েছিল। সুতরাং, সত্যিই লাম্বদা ক্যালকুলাস জানার / বোঝার কী অর্থ আছে, এর প্রয়োগগুলি / তত্ত্বের অবদানকে আঁকতে পারে?
Functional Programming
হাস্কেল এবং লিস্পের একটি বিট নিয়ে আলোচনা করেছি। তার উত্তরাধিকারী ছিলেন Principles of Programming Languages
, যা এমএল ব্যবহার করেছিল এবং ল্যাম্বডা ক্যালকুলাস চালু করেছিল। কিছু উত্তর হিসাবে দেখা যাচ্ছে যে লাম্বডা ক্যালকুলাসটি আসলে: প্রোগ্রামিং ভাষা, টাইপিং ইত্যাদির বিষয়ে একটি শ্রেণিতে