5
सबसे सहज निर्भर प्रकार का सिद्धांत जो मैं सीख सकता था?
मैं निर्भर टाइपिंग पर वास्तव में ठोस समझ पाने में दिलचस्पी रखता हूं। मैंने ज्यादातर TaPL को पढ़ा है और पढ़ा है (अगर पूरी तरह से अवशोषित नहीं है) ATTaPL में 'डिपेंडेंट टाइप ' । मैंने भी पढ़ा है और आश्रित टाइपिंग पर लेखों का एक समूह स्किम्ड किया है। …