4
চুক্তি এবং নির্ভর টাইপিংয়ের মধ্যে সম্পর্ক
আমি নির্ভরশীল প্রকার এবং প্রোগ্রামিং চুক্তিতে কিছু নিবন্ধ পড়ছি। আমি যা পড়েছি তার বেশিরভাগ অংশ থেকে মনে হয় চুক্তিগুলি গতিশীলভাবে সীমাবদ্ধতাগুলি পরীক্ষা করা হয় এবং নির্ভরশীল প্রকারগুলি স্থিতিকরভাবে চেক করা হয়। কিছু কাগজপত্র রয়েছে যা আমাকে মনে করেছে যে আংশিকভাবে স্থিতিশীলভাবে চেক করা চুক্তিগুলি সম্ভব: হাইব্রিড প্রকারের চেকিং (সি। ফ্লানাগান …