एक ऑब्जेक्ट-उन्मुख भाषा में गैर-नल प्रकारों की घोषणा और जांच करना

प्रकार स्तर पर संभावित-नल संदर्भों से गैर-नल संदर्भों में भेद करना ऑब्जेक्ट-उन्मुख कार्यक्रमों में संकलन-समय पर नल-संबंधित गलतियों का पता लगा सकता है। यह पत्र C# या Java जैसी भाषा को गैर-नल प्रकारों के साथ संशोधित करने का प्रस्ताव देता है। यह उन केंद्रीय जटिलताओं का समाधान करता है जो कंस्ट्रक्टर में उत्पन्न होती हैं, जहां घोषित गैर-नल क्षेत्रों को अभी तक प्रारंभ नहीं किया गया हो सकता है, लेकिन आंशिक रूप से निर्मित ऑब्जेक्ट पहले से ही उपलब्ध है। यह पत्र C# कार्यक्रमों में नल-संबंधित गुणों को एनोटेट और जांचने के लिए एक कार्यान्वयन के अनुभव की रिपोर्ट करता है।