4
अनुबंध और आश्रित टाइपिंग के बीच संबंध
मैं आश्रित प्रकार और प्रोग्रामिंग अनुबंधों पर कुछ लेख पढ़ रहा हूं। मैंने जो पढ़ा है, उसके बहुमत से, ऐसा लगता है कि अनुबंधों की गतिशील रूप से जांच की गई बाधाएं हैं और निर्भर प्रकारों को सांख्यिकीय रूप से जांचा जाता है। ऐसे कुछ कागजात मिले हैं जिनसे मुझे …