ऑफ-साइड नियम

यदि किसी कंप्यूटर प्रोग्रामिंग भाषा में ब्लॉक को उसके इंडेंटेशन द्वारा व्यक्त किया जाता है,^[1] तो उस भाषा का सिंटेक्स, ऑफ-साइड नियम का पालन करता है। इस शब्द का प्रयोग पीटर लैंडिन ने संभवतः फ़ुटबॉल के ऑफ़साइड नियम पर विचारशीलता के लिए एक मज़ाक के रूप में किया था। इसके विपरीत, फ्री-फॉर्म भाषाओं, विशेष रूप से कर्ली-कोष्ठक प्रोग्रामिंग भाषाओं के साथ, इंडेंटेशन का कोई गणनात्मक अर्थ नहीं होता है और इंडेंटेशन की शैली केवल कोडिंग संबंधी सामग्री और फॉर्मेटिंग के रूप में संदर्भित होते हैं। साथ ही, ऑफ-साइड-नियम भाषाओं को भी महत्वपूर्ण इंडेंटेशन वाली भाषाओ के रूप में वर्णित किया जाता है।

परिभाषा

पीटर लैंडिन ने अपने 1966 के लेख अगली 700 प्रोग्रामिंग भाषाएँ में ऑफ-साइड नियम को इस प्रकार परिभाषित किया: पिछली पंक्ति पर पहले ऐसे टोकन के बाईं ओर कोई भी गैर-व्हाट्सएप टोकन एक नई घोषणा की शुरुआत मानी जाती है।"^[2]

कोड उदाहरण

निम्नलिखित एक पायथन में इंडेंटेशन ब्लॉक का उदाहरण है: कोलन पायथनभाषा की सुविधाओं में से एक हैं जो पठनीयता के लिए होते हैं; वे ऑफ-साइड नियम को लागू करने के लिए आवश्यक नहीं होते।

पायथन में, यह नियम घोषणाओं की सीमाएं परिभाषित करने के अतिरिक्त कथन की सीमाएं परिभाषित करने के लिए लागू होता है।

def is_even(a: int) -> bool:
    """Determine whether number 'a' is even."""
    if a % 2 == 0:
        print('Even!')
        return True
    print('Odd!')
    return False

पायथन कोष्ठक के भीतर ऑफ-साइड नियम को निलंबित करता है। कोष्ठक के भीतर का एक कथन अपने कोष्ठक के मेल करने तक चलता रहता है।

{
    "this": True,
    "that": False,
    "them": [1, 2,
3, 4, 5, 
6, 7, 8,
9, 10, 11, 12]
}

इस शब्दकोष में, कुंजी इंडेंटेशन के साथ हैं और एक सूची चार पंक्तियों में विभाजित है।

कार्यान्वयन

ऑफ-साइड नियम को शाब्दिक विश्लेषण चरण में लागू किया जा सकता है, जैसे Python में, जहां इंडेंटिंग को बढ़ाने पर लेक्सर आउटपुट में एक INDENT टोकन उत्पन्न होता है, और इंडेंटिंग को कम करने पर लेक्सर आउटपुट में एक DEDENT टोकन उत्पन्न होता है।.^[3] ये टोकन ब्रेस ब्लॉक के खुलने वाले ब्रेस और बंद होने वाले ब्रेस के समानांतर होते हैं जो भाषाओं में प्रयोग होती हैं और इसका अर्थ है कि वाक्य व्याकरण इस पर निर्भर नहीं करता है कि ब्रेस या इंडेंटेशन का उपयोग किया जाता है। यह आवश्यकता होती है कि लेक्सर स्थानांतरण स्तर को मेमोराइज़ करे, अर्थात् वर्तमान इंडेंट स्तर को संग्रह करे, और इसलिए यह परिवर्तन होने पर इंडेंटेशन में परिवर्तन का पता लगा सकता है, और इस प्रकार औपचारिक व्याकरण वाक्य व्याकरण से मुक्त नहीं होता है INDENT और DEDENT पिछले इंडेंट स्तर की संदर्भिक जानकारी पर निर्भर करता है।

विकल्प

प्राथमिक विकल्प जो इंडेंटेशन के द्वारा ब्लॉक की सीमा तय करने के अतिरिक्त उपयोग किया जाता है, जो सी भाषा के व्यापक उपयोग और प्रभाव के कारण प्रसिद्ध हुआ है, वह है सफेद स्थान वर्णों को अनदेखा करना और दोहरे ब्रेसेज या किसी अन्य विभाजक के साथ ब्लॉक को स्पष्ट रूप से चिह्नित करना है। यद्यपि यह अधिक स्वरूपण स्वतंत्रता की अनुमति देता है - एक डेवलपर नियंत्रण प्रवाह के साथ निरंतरता जैसे कोड के छोटे भागों को इंडेंट नहीं करने का विकल्प चुन सकता है - लापरवाही से इंडेंट किया गया कोड पाठक को भ्रमित कर सकता है।

लिस्प और अन्य एस-अभिव्यक्ति-आधारित भाषाएं कथनों को अभिव्यक्तियों से अलग नहीं करती हैं, और कोष्ठक भाषा के भीतर सभी कथनों के सीमा को नियंत्रित करने के लिए पर्याप्त हैं। घुंघराले कोष्ठक भाषाओं की तरह, रिक्त स्थान को अधिकतर पाठक द्वारा अनदेखा कर दिया जाता है। व्हाईटस्पेस का उपयोग टोकन को अलग करने के लिए किया जाता है।^[4] लिस्प कोड की स्पष्ट संरचना मानव पाठकों के लिए एक दृश्य संकेत बनाने के लिए स्वचालित इंडेंटिंग की अनुमति देती है।

एक और विकल्प है कि प्रत्येक ब्लॉक निर्दिष्ट कीवर्ड के साथ शुरू हो और समाप्त हो। उदाहरण के लिए, ALGOL 60 और उसके उत्पन्न Pascal में, ब्लॉक की शुरुआत कीवर्ड begin से होती है और कीवर्ड end से समाप्त होती है। कुछ भाषाओं में (लेकिन पैस्कल में नहीं), इसका मतलब है कि न्यूलाइन महत्वपूर्ण होते हैं (कर्ली ब्रेस भाषाओं की तरह) लेकिन इंडेंटेशन नहीं होती। BASIC और Fortran में, ब्लॉक ब्लॉक नाम (जैसे IF) से शुरू होते हैं और ब्लॉक नाम के साथ END प्रतिस्थापित होने से समाप्त होते हैं (जैसे END IF)। Fortran में, हर एक ब्लॉक का अपना अद्वितीय ब्लॉक नाम हो सकता है, जो लंबे कोड में एक और स्पष्टता स्तर जोड़ता है। ALGOL 68 और Bourne shell (sh, और bash) समान हैं, लेकिन ब्लॉक का समाप्त होना आमतौर पर ब्लॉक के नाम के उल्टे रूप में दिया जाता है (जैसे case एक switch statement शुरू करता है और यह मिलाने तक चलता है esac; इसी तरह शर्त if...then...[elif...[else...]]fi या for loops for...do...od या ALGOL68 में for...do...done बैश में।

इसका एक रोचक रूप में प्राकृतिक होने वाला वैरिएंट Modula-2 में देखा जाता है, जो एक Pascal जैसी भाषा है जो एक और बहु-लाइन ब्लॉक के बीच का अंतर खत्म कर देती है। इससे एक्सेस करने वाले ब्लॉक के लिए ब्लॉक खोलने वाले टोकन ({ या BEGIN) को सभी के लिए छोड़ा जा सकता है, केवल ब्लॉक समाप्त करने वाले टोकन (} या END) की आवश्यकता होती है। इसके अलावा, यह dangling else को सुधारता है। उपयोग के लिए end टोकन को ब्लॉक के शेष इंडेंट स्तर पर रखना होता है, जो एक ब्लॉक संरचना को बहुत पठनीय बनाता है।

Fortran के दृष्टिकोण से एक लाभ यह है कि यह लंबे, नेस्टेड या अन्यथा जटिल कोड की पठनीयता में सुधार करता है। एक आउटडेंट्स या समाप्ति ब्रैकेट्स का समूह केवल सांद्रत्यपूर्ण संकेत उपलब्ध कराता है कि कौन से ब्लॉक बंद हो रहे हैं, जिससे पीछे जाना और debugging के दौरान अधिक सतर्कता की आवश्यकता होती है। इसके अतिरिक्त, END-जैसे कीवर्ड्स के लिए सफ्फिक्स की अनुमति देने वाली भाषाएं इस तरह की संकेतों को और बेहतर बनाती हैं, जैसे continue बनाम continue for x। हालांकि, आधुनिक source code editors अक्सर विजुअल संकेतक, जैसे syntax highlighting, और code folding जैसी विशेषताएँ प्रदान करते हैं, जो इन दुष्प्रभावों के साथ मदद करते हैं।

उत्पादकता

स्काला भाषा (प्रोग्रामिंग भाषा) में, शुरुआती संस्करणों में केवल घुंघराले ब्रेसिज़ की अनुमति थी। स्काला 3 ने संरचना ब्लॉकों में इंडेंटिंग का उपयोग करने के लिए एक विकल्प जोड़ा। डिज़ाइनर मार्टिन ओडरस्की ने कहा कि इससे कुल मिलाकर उत्पादकता में 10% का सुधार होता है, यह स्काला 3 में पेश किया गया सबसे अधिक उत्पादक परिवर्तन साबित होता है, और इसके उपयोग की सलाह देता है।^[5]