यहाँ टेनेंट के पत्राचार सिद्धांत की एक दिलचस्प चर्चा है , और नील गेर से संक्षिप्त विवरण :
सिद्धांत कहता है कि एक अभिव्यक्ति या कथन, जब एक बंद में लिपटे और फिर तुरंत आह्वान किया गया, तो इसका वही अर्थ होना चाहिए, जैसा कि एक बंद में लपेटने से पहले किया था। किसी बंद में कोड को लपेटते समय शब्दार्थ में कोई भी बदलाव होने की संभावना है।
क्या ग्रूवी भाषा इस सिद्धांत का पालन करती है?
जवाबों:
काफी नहीं, लेकिन लगभग। बाहरी दायरे में पहुंच योग्य सभी चर 'इस' और वर्ग डेटा सदस्यों सहित, क्लोजर में सुलभ हैं। हालांकि, एक returnबयान क्लोजर से लौटता है, एन्क्लोजिंग फ़ंक्शन से नहीं। मुझे यह भी निश्चित नहीं है कि यह टीसीपी का उल्लंघन है; मुझे सी-स्टाइल भाषा का कोई पता नहीं है, जहां returnएक घेरने की गुंजाइश है। मुझे ग्रूवी क्लोजर का उपयोग करने में कोई आश्चर्य नहीं हुआ।