টাইপড ল্যাম্বদা ক্যালকুলাস এবং লিস্পের মধ্যে ?তিহাসিক সম্পর্ক?


16

আমি সম্প্রতি একটি বন্ধুর সাথে আলোচনা করছিলাম (যিনি দৃ strongly়ভাবে টাইপ করা ভাষাগুলির পক্ষে) তিনি মন্তব্য করেছেন:

ল্যাম্বদা ক্যালকুলাসের উদ্ভাবকরা সর্বদা এটি টাইপ করার ইচ্ছা করেছিলেন।

এখন আমরা দেখতে পারেন চার্চ সঙ্গে যুক্ত ছিল কেবলমাত্র টাইপ ল্যামডা ক্যালকুলাস । আসলে, মনে হচ্ছে ল্যাম্বডা ক্যালকুলাস সম্পর্কে ভুল বোঝাবুঝি কমাতে তিনি সরল টাইপড ল্যাম্বদা ক্যালকুলাস ব্যাখ্যা করেছিলেন।

এখন জন ম্যাকার্থি যখন লিস্প তৈরি করেছিলেন - তিনি এটি ল্যাম্বডা ক্যালকুলাসের উপর ভিত্তি করে তৈরি করেছিলেন । এটি তার নিজের ভর্তির মাধ্যমে যখন তিনি "প্রতীকী ভাবের পুনরাবৃত্ত ক্রিয়াকলাপগুলি এবং মেশিন দ্বারা প্রথম অংশে তাদের গণনা" প্রকাশ করেছিলেন । আপনি এটি এখানে পড়তে পারেন

ম্যাকার্থি সরলভাবে টাইপড ল্যাম্বডা ক্যালকুলাসকে সম্বোধন করেননি বলে মনে হয়। এটি এমএল সহ রবিন মিলনার দ্বারা আধিপত্য বিস্তার করে বলে মনে হচ্ছে ।

সেখানে পাতার মর্মর এবং ল্যামডা ক্যালকুলাস মধ্যে সম্পর্ক কিছু আলোচনা এখানে , কিন্তু তারা সত্যিই কেন ম্যাকার্থি এটা untyped ছেড়ে বেছে নীচে পাবেন না।

আমার প্রশ্ন হ'ল - ম্যাকার্থি যদি স্বীকার করেন যে তিনি ল্যাম্বদা ক্যালকুলাস সম্পর্কে জানতেন - তবে তিনি টাইপড ল্যাম্বদা ক্যালকুলাসকে কেন উপেক্ষা করলেন? (যেমন - লাম্বডা ক্যালকুলাসটি টাইপ করার উদ্দেশ্যেই করা হয়েছিল তা কি প্রকৃতই স্পষ্ট? এটি সেভাবে মনে হয় না)


1
সম্ভবত টাইপড ল্যাম্বদা ক্যালকুলাস টিউরিং-সম্পূর্ণ না হওয়ার সাথে কিছু করার আছে।
জান জোহানসন

ধন্যবাদ @ জাঞ্জোহানসেন - আপনি কি এটিকে প্রসারিত করতে পারবেন?
হক্কে

উত্তর:


17

λ

ইতিহাসের একটি দুর্দান্ত ওভারভিউ এই কাগজে পাওয়া যায় ।

λ


বাহ - এই বিষয়ে বিশ্বের সর্বাধিক যোগ্য ব্যক্তি উত্তর দিয়েছেন। ধন্যবাদ @ সাম। সম্ভবত আমি বছরের শেষের মধ্যে আপনার কাছে পিএইচডি আবেদন করব। (মনে হচ্ছে অ্যামব্রোস বিএস আপনার সাথে কাজ করার জন্য অপেক্ষা করছে))
হক্কে

3
আমি এই বিষয়ে বিশ্বের সবচেয়ে যোগ্য ব্যক্তি থেকে সত্যই অনেক দূরে।
স্যাম টোবিন-হচস্টাড্ট

লিঙ্কটি নষ্ট হয়ে গেছে বলে মনে হচ্ছে। আমি বিশ্বাস করি এটি একই কাগজ: আশা.সিমোনস
রক.ইডু
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.