টাইপ অনুমান কি? - টেকোপিডিয়া থেকে সংজ্ঞা

সংজ্ঞা - প্রকার অনুমানের অর্থ কী?

টাইপ ইনফারেন্সন হ'ল প্রোগ্রামিং ভাষায় নির্দিষ্ট এক্সপ্রেশনগুলির ডেটা ধরণের স্বয়ংক্রিয়ভাবে ছাড়, এর মধ্যে একটি প্রোগ্রাম বিশ্লেষণ করা এবং তারপরে সেই প্রোগ্রামের বিভিন্ন বা কিছু এক্সপ্রেশনগুলির বিভিন্ন ধরণের অনুমান করা জড়িত যাতে প্রোগ্রামারকে প্রোগ্রামে প্রতিটি সময় ভেরিয়েবল ব্যবহার করার সময় স্পষ্টভাবে ইনপুট এবং ডেটা ধরণের সংজ্ঞা দেওয়ার প্রয়োজন হয় না।

টেকোপিডিয়া টাইপ ইনফারেন্স ব্যাখ্যা করে

টাইপ ইনফারেন্স প্রায়শই বস্তু-ভিত্তিক না হয়ে ফাংশনাল প্রোগ্রামিং ভাষার একটি সংকলক বৈশিষ্ট্য। কোনও চলক বা অভিব্যক্তির ডেটা ধরণ কী তা নির্ধারণের জন্য সংকলক বা দোভাষীকে কেবলমাত্র সর্বনিম্ন তথ্য পাশাপাশি প্রসঙ্গে প্রয়োজন।

ইনফারেন্স অ্যালগরিদম আর্গুমেন্টের প্রকারের পাশাপাশি রিটার্ন মানের ধরণ নির্ধারণ করার চেষ্টা করে এবং তারপরে এটি সুনির্দিষ্ট ডেটা টাইপ সন্ধানের চেষ্টা করে যা সমস্ত আর্গুমেন্টের সাথে কাজ করে। একটি মৌলিক উদাহরণ হিসাবে, ফাংশনটি বিবেচনা করুন (a, b) = x + y; সংকলকটি জানে যে "+" অপারেটর দুটি পূর্ণসংখ্যা নিয়ে যায় এবং একটি পূর্ণসংখ্যাও ফেরত দেয়, তাই এখন সংকলক বা দোভাষীটি অনুমান করতে পারে যে ফু এরও পূর্ণসংখ্যা টাইপ রয়েছে।