আমি টাইপ-চেকিং অ্যালগরিদমগুলি সম্পর্কে একটি ব্যক্তিগত গ্রন্থপরিচয় গবেষণা শুরু করছি এবং কিছু টিপস চাই। সর্বাধিক ব্যবহৃত টাইপ-চেকিং অ্যালগরিদম, কৌশল এবং সাধারণ কৌশলগুলি কী কী?
আমি বিশেষত জটিল টাইপ-চেকিং অ্যালগরিদমগুলিতে আগ্রহী যা ব্যাপকভাবে পরিচিত দৃ strongly় স্থিত টাইপযুক্ত ভাষায় যেমন উদাহরণস্বরূপ, সি ++, জাভা 5+, স্কালা বা অন্যান্যগুলিতে প্রয়োগ করা হয়েছিল। আইই, টাইপ-চেকিং অ্যালগরিদমগুলি যা অন্তর্নিহিত ভাষার খুব সাধারণ টাইপিংয়ের কারণে খুব সহজ নয় (যেমন জাভা ১.৪ এবং নীচে)।
আমি কোনও নির্দিষ্ট ভাষার এক্স, ওয়াই বা জেডের প্রতি আগ্রহী নই। আমি যে ভাষাকে লক্ষ্য করে তা নির্বিশেষে টাইপ-চেকিং অ্যালগরিদমগুলিতে আগ্রহী। যদি আপনি এমন কোনও উত্তর সরবরাহ করেন যা "ভাষা এল যা আপনি কখনও শুনেন নি যার সম্পর্কে দৃ strongly়রূপে টাইপ করা হয় এবং টাইপিং জটিল হয় তাতে টাইপ-চেকিং অ্যালগরিদম থাকে যা A, B এবং C করে অ্যালগরিদম জেড ব্যবহার করে X এবং Y পরীক্ষা করে", বা " কৌশল স্কোরের জন্য এক্স এবং ওয়াই ব্যবহার করা হয় এবং সি # এর জন্য ব্যবহৃত এ এর একটি ভেরিয়েন্ট জেড দুর্দান্ত কারণ আর, এস এবং টি বৈশিষ্ট্যগুলি যে সেইভাবে কাজ করে ", তারপরে উত্তরগুলি দুর্দান্ত।