আমি সম্প্রতি একটি বন্ধুর সাথে আলোচনা করছিলাম (যিনি দৃ strongly়ভাবে টাইপ করা ভাষাগুলির পক্ষে) তিনি মন্তব্য করেছেন:
ল্যাম্বদা ক্যালকুলাসের উদ্ভাবকরা সর্বদা এটি টাইপ করার ইচ্ছা করেছিলেন।
এখন আমরা দেখতে পারেন চার্চ সঙ্গে যুক্ত ছিল কেবলমাত্র টাইপ ল্যামডা ক্যালকুলাস । আসলে, মনে হচ্ছে ল্যাম্বডা ক্যালকুলাস সম্পর্কে ভুল বোঝাবুঝি কমাতে তিনি সরল টাইপড ল্যাম্বদা ক্যালকুলাস ব্যাখ্যা করেছিলেন।
এখন জন ম্যাকার্থি যখন লিস্প তৈরি করেছিলেন - তিনি এটি ল্যাম্বডা ক্যালকুলাসের উপর ভিত্তি করে তৈরি করেছিলেন । এটি তার নিজের ভর্তির মাধ্যমে যখন তিনি "প্রতীকী ভাবের পুনরাবৃত্ত ক্রিয়াকলাপগুলি এবং মেশিন দ্বারা প্রথম অংশে তাদের গণনা" প্রকাশ করেছিলেন । আপনি এটি এখানে পড়তে পারেন ।
ম্যাকার্থি সরলভাবে টাইপড ল্যাম্বডা ক্যালকুলাসকে সম্বোধন করেননি বলে মনে হয়। এটি এমএল সহ রবিন মিলনার দ্বারা আধিপত্য বিস্তার করে বলে মনে হচ্ছে ।
সেখানে পাতার মর্মর এবং ল্যামডা ক্যালকুলাস মধ্যে সম্পর্ক কিছু আলোচনা এখানে , কিন্তু তারা সত্যিই কেন ম্যাকার্থি এটা untyped ছেড়ে বেছে নীচে পাবেন না।
আমার প্রশ্ন হ'ল - ম্যাকার্থি যদি স্বীকার করেন যে তিনি ল্যাম্বদা ক্যালকুলাস সম্পর্কে জানতেন - তবে তিনি টাইপড ল্যাম্বদা ক্যালকুলাসকে কেন উপেক্ষা করলেন? (যেমন - লাম্বডা ক্যালকুলাসটি টাইপ করার উদ্দেশ্যেই করা হয়েছিল তা কি প্রকৃতই স্পষ্ট? এটি সেভাবে মনে হয় না)