Value restriction
হিন্ডলি-মিলনার ধরনের অনুমান এবং অপরিহার্য বৈশিষ্ট্য সহ প্রোগ্রামিং ভাষাগুলিতে, বিশেষত এম. এল প্রোগ্রামিং ভাষা পরিবার, মান সীমাবদ্ধতার অর্থ হল যে ঘোষণাগুলি কেবল পলিমরফিক্যালি সাধারণীকরণ করা হয় যদি সেগুলি সিনট্যাক্টিক মান হয় (যাকে অ-সম্প্রসারণও বলা হয়)। মূল্য সীমাবদ্ধতা রেফারেন্স কোষগুলিকে বিভিন্ন ধরনের মান ধরে রাখতে বাধা দেয় এবং প্রকারের নিরাপত্তা রক্ষা করে। সুরক্ষা টাইপ করার একটি পাল্টা উদাহরণ হিন্ডলি-মিলনার টাইপ সিস্টেমে, প্যারামেট্রিক পলিমরফিজমের মাধ্যমে একাধিক ধরনের অভিব্যক্তি দেওয়া যেতে পারে। কিন্তু সরলভাবে রেফারেন্সগুলিকে একাধিক প্রকার দেওয়া সুরক্ষার ধরণকে ভেঙে দেয়। রেফারেন্স এবং সম্পর্কিত অপারেটরদের জন্য এমএল-সদৃশ ভাষায় টাইপ করার নিয়মগুলি নিম্নরূপ। অপারেটরদের নিম্নলিখিত শব্দার্থ রয়েছেঃ একটি মান নেয় এবং সেই মান সম্বলিত একটি রেফারেন্স তৈরি করে, (রেফারেন্স) একটি রেফারেন্স নেয় এবং সেই রেফারেন্সের মানটি পড়ে, এবং (অ্যাসাইনমেন্ট) একটি নতুন মান ধারণ করার জন্য একটি রেফারেন্স আপডেট করে এবং একক প্রকারের একটি মান প্রদান করে। এগুলির পরিপ্রেক্ষিতে, নিম্নলিখিত প্রোগ্রামটি অসঙ্গতভাবে একটি ফাংশন প্রয়োগ করে যা একটি বুলিয়ান value.let ভ্যাল সি = রেফ (fn x => x)-এর পূর্ণসংখ্যার জন্য c: = (fn x => x + 1);! মান সীমাবদ্ধতার অধীনে, লেট বাউন্ড এক্সপ্রেশনগুলির প্রকারগুলি কেবল তখনই সাধারণীকরণ করা হয় যদি এক্সপ্রেশনগুলি সিনট্যাক্টিক মান হয়। তাঁর গবেষণাপত্রে, রাইট নিম্নলিখিতগুলিকে বাক্যবিন্যাসগত মান হিসাবে বিবেচনা করেনঃ ধ্রুবক, চলক,-অভিব্যক্তি এবং মানগুলিতে প্রয়োগ করা কনস্ট্রাক্টর। ফাংশন এবং অপারেটর অ্যাপ্লিকেশনগুলি মান হিসাবে বিবেচিত হয় না। বিশেষ করে, অপারেটরের প্রয়োগগুলি সাধারণীকরণ করা হয় না। সিনট্যাক্টিক মানগুলির টাইপ ভেরিয়েবলগুলিকে সাধারণীকরণ করা নিরাপদ কারণ তাদের মূল্যায়ন কোনও রেফারেন্স লেখার মতো কোনও পার্শ্ব প্রতিক্রিয়া সৃষ্টি করতে পারে না। উপরের উদাহরণটি নিম্নরূপ মান সীমাবদ্ধতার অধীনে টাইপ চেকার দ্বারা প্রত্যাখ্যাত হয়। প্রথম সি-কে টাইপ দেওয়া হয়। এই প্রকারটি সাধারণীকরণ করা হয়নি এবং লেট বাইন্ডিংয়ের মূল অংশের জন্য টাইপিং প্রসঙ্গে একটি মুক্ত পরিবর্তনশীল। যখন অ্যাসাইনমেন্টটি টাইপ করা হয়, তখন সি-এর ধরণটি একীকরণের মাধ্যমে টাইপিং প্রসঙ্গে পরিবর্তিত হয়। ডিরেফেরেন্স! সি টাইপ করা হয়, কিন্তু টাইপের একটি মানের ক্ষেত্রে প্রয়োগ করা হয়, এবং টাইপ চেকার প্রোগ্রামটি প্রত্যাখ্যান করে। আরও দেখুন হিন্ডলি-মিলনার টাইপ রেফারেন্স ম্যাডস টোফ্টে (1988)। অপারেশনাল শব্দার্থবিদ্যা এবং পলিমরফিক টাইপ ইনফারেন্স। পিএইচডি থিসিস। এম. টফ্টে (1990)। "পলিমরফিক রেফারেন্সের জন্য অনুমান টাইপ করুন।" ও 'টুল (1990)। "রেফারেন্সের জন্য বিমূর্ত নিয়ম টাইপ করুনঃ চারটির তুলনা যা কুখ্যাতি অর্জন করেছে।" জেভিয়ার লেরয় এবং পিয়েরে ওয়েইস (1991)। "পলিমরফিক টাইপ ইনফারেন্স অ্যান্ড অ্যাসাইনমেন্ট"। পিওপিএল '91। এ কে রাইট (1992)। "প্রভাব অনুমান দ্বারা রেফারেন্স টাইপ করা"। মাই হোয়াং, জন সি. মিচেল এবং রমেশ বিশ্বনাথন (1993)। "স্ট্যান্ডার্ড এমএল-এনজে দুর্বল পলিমরফিজম এবং অপরিহার্য গঠন"। অ্যান্ড্রু রাইট (1995)। "সহজ আবশ্যক বহুরূপতা"। এল. আই. এস. পি এবং প্রতীকী গণনায়, পৃ. 343-356। জ্যাক গ্যারিগ (2004)। "মূল্য সীমাবদ্ধতা শিথিল করা"। বাহ্যিক লিঙ্ক মূল্য সীমাবদ্ধতা-এস. এম. এল. 97-এর মূল্য সীমাবদ্ধতার উপর এম. এল. টি. এন নোট-প্রোগ্রামিং ভাষার নীতি, জিওফ্রে স্মিথ, ফ্লোরিডা ইন্টারন্যাশনাল ইউনিভার্সিটি টাইপ ইনফারেন্স