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