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