स्कीम (प्रोग्रामिंग भाषा)

योजना

Paradigms	बहु-प्रतिमान: कार्यात्मक, अनिवार्य, मेटा
परिवार	लिस्प
द्वारा डिज़ाइन किया गया	गाय एल. स्टील गेराल्ड जे सुस्मान
पहली प्रस्तुति	Template:प्रारंभ तिथि और उम्र
Stable release	आर7आरएस / Template:प्रारंभ तिथि और उम्र
टाइपिंग अनुशासन	डायनेमिक, अव्यक्त, ठोस
स्कोप	लेक्सिकल
फ़ाइल नाम एक्सटेंशनएस	.scm, .ss
वेबसाइट	www.scheme.org
Major implementations
Many (see योजना कार्यान्वयन)
Influenced by
एल्गोल, लिस्प, एमडीएल
Influenced
क्लोजर, सामान्य लिस्प, डायलन, यूलिस्प, हास्केल, हॉप, जावास्क्रिप्ट, जूलिया, लुआ, मल्टीलिस्प, पायथन, आर, रैकेट, रूबी, रस्ट, एस, स्कैला, टी
योजना at Wikibooks

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

योजना की भाषा को आधिकारिक आईईईई मानक में मानकीकृत किया गया है और वास्तविक मानक जिसे कलनविधि भाषा योजना (आरएनआरएस) पर संशोधितⁿ सूची कहा जाता है। व्यापक रूप से कार्यान्वित मानक आर5आरएस (1998) है। योजना का सबसे हाल ही में स्वीकृत मानक आर7आरएस-छोटा (2013) है। 2007 में अधिक विस्तृत और मॉड्यूलर आर6आरएस की पुष्टि की गई थी। दोनों आर5आरएस से अपने वंश का पता लगाते हैं; नीचे दी गई समयरेखा अनुसमर्थन के कालानुक्रमिक क्रम को दर्शाती है।

इतिहास

Main article: योजना प्रोग्रामिंग भाषा का इतिहास

उत्पत्ति

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

आर6आरएस

2006 में आर6आरएस मानक तैयार करने के लक्ष्य के साथ, 2003 की योजना कार्यशाला में नई भाषा मानकीकरण प्रक्रिया प्रारंभ हुई। यह प्रक्रिया एकमत के पहले के आरएनआरएस दृष्टिकोण से अलग हो गई।

आर6आरएस में मानक मॉड्यूल प्रणाली है, जो मूल भाषा और पुस्तकालयों के बीच विभाजन की अनुमति देता है। आर6आरएस विनिर्देशन के कई ड्राफ्ट प्रचलित किए गए, अंतिम संस्करण R5.97RS था। सफल वोट के परिणामस्वरूप 28 अगस्त, 2007 को घोषित नए मानक का अनुसमर्थन हुआ।

वर्तमान में विभिन्न योजना कार्यान्वयनों की नवीनतम रिलीज़ आर6आरएस मानक का समर्थन करता है। आर6आरएस के लिए प्रस्तावित निहित रूप से चरणबद्ध पुस्तकालयों का पोर्टेबल संदर्भ कार्यान्वयन है, जिसे वाक्य-विन्यास कहा जाता है, जो विभिन्न पुराने योजना कार्यान्वयनों पर ठीक से लोड और बूटस्ट्रैप करता है। रेफ नाम = वाक्य-विन्यास>अब्दुलअज़ीज़ ग़ुलाम (2007-10-27). "R6RS लाइब्रेरी और वाक्य-विन्यास-केस प्रणाली (वाक्य-विन्यास)". इकारस योजना. Retrieved 2009-10-20.</रेफरी>

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

रेफरी>Keep, Andrew W.; Dybvig, R. Kent (November 2014). "स्कीम रिकॉर्ड प्रकारों का रन-टाइम प्रतिनिधित्व". Journal of Functional Programming. 24 (6): 675–716. doi:10.1017/S0956796814000203. S2CID 40001845.</रेफरी>

आर6आरएस भाषा में कई महत्वपूर्ण बदलाव लाता है। स्रोत कोड अब यूनिकोड में निर्दिष्ट किया गया है, और यूनिकोड वर्णों का बड़ा उपसमुच्चय अब योजना प्रतीकों और पहचानकर्ताओं में दिखाई दे सकता है, और शाब्दिक नियमों में अन्य छोटे बदलाव हैं। चरित्र डेटा अब यूनिकोड में भी निर्दिष्ट है। कई मानक प्रक्रियाओं को नए मानक पुस्तकालयों में स्थानांतरित कर दिया गया है, जो स्वयं मानक का बड़ा विस्तार करते हैं, जिसमें ऐसी प्रक्रियाएँ और वाक्यात्मक रूप सम्मिलित हैं जो पहले मानक का हिस्सा नहीं थे। नया मॉड्यूल प्रणाली प्रस्तुत किया गया है, और अपवाद प्रबंधन के लिए प्रणाली अब मानकीकृत हैं। वाक्य-विन्यास-नियमों को अधिक अभिव्यंजक वाक्यात्मक अमूर्त सुविधा (वाक्यविन्यास-केस) के साथ बदल दिया गया है जो मैक्रो विस्तार समय पर सभी योजनाओं के उपयोग की अनुमति देता है। योजना के पूर्ण संख्यात्मक टावर का समर्थन करने के लिए अब अनुपालन कार्यान्वयन की आवश्यकता है, और संख्याओं के शब्दार्थों का विस्तार किया गया है, मुख्य रूप से फ्लोटिंग पॉइंट संख्यात्मक प्रतिनिधित्व के लिए आईईईई 754-1985 मानक के समर्थन की दिशा में किया गया है।

आर7आरएस

आर6आरएस मानक विवाद का कारण बना है क्योंकि कुछ इसे अतिसूक्ष्म दर्शन से प्रस्थान के रूप में देखते हैं। अगस्त 2009 में, योजना संचालन समिति, जो मानकीकरण प्रक्रिया की देखरेख करती है, ने योजना को दो भाषाओं में विभाजित करने की पक्षसमर्थन करने की अपनी मंशा की घोषणा की: प्रोग्रामर के लिए बड़ी आधुनिक प्रोग्रामिंग भाषा; और छोटा संस्करण, बड़े संस्करण का उपसमुच्चय शिक्षकों और आकस्मिक कार्यान्वयनकर्ताओं द्वारा प्रशंसा की गई अतिसूक्ष्मवाद को निरंतर रखता है। योजना के इन दो नए संस्करणों पर काम करने के लिए दो कार्यकारी समूह बनाए गए थे। योजना सूची प्रोसेस साइट में कार्य समूहों के चार्टर्स, सार्वजनिक चर्चाओं और ट्रैकिंग प्रणाली प्रचलित करने के लिंक हैं।

आर7आरएस (छोटी भाषा) का नौवां प्रारूप 15 अप्रैल, 2013 को उपलब्ध कराया गया था। रेफरी नाम= आर7आरएस-ड्राफ्ट-9 >"R7RS 9वां ड्राफ्ट उपलब्ध है" (PDF). 2013-04-15.</ref> इस प्रारूप की पुष्टि करने वाला मत 20 मई 2013 को समाप्त हुआ,

लैम्ब्डा कैलकुस

See also: लैम्ब्डा कैलकुलस

अलोंजो चर्च के गणितीय अंकन, लैम्ब्डा कैलकुस, ने लिस्प के लैम्ब्डा को प्रक्रिया प्रारंभ करने के लिए कीवर्ड के रूप में उपयोग करने के साथ-साथ लिस्प में उच्च-क्रम के कार्यों के उपयोग से जुड़े कार्यात्मक प्रोग्रामिंग विधियों के विकास को प्रभावित करने के लिए प्रेरित किया है। लेकिन प्रारंभिक लिप्स लैम्ब्डा कैलकुस के उपयुक्त मुक्त चर और बाध्य चर के उपचार के कारण अभिव्यक्ति नहीं थे।

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

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

योजना में, डेटा को मैनिपुलेट और बाइंड करने के लिए उपयोग किए जाने वाले समान आदिम का उपयोग प्रक्रियाओं को बाइंड करने के लिए किया जा सकता है। सामान्य लिस्प defun और #' के आदिम समकक्ष कोई नहीं है।

ब्लॉक संरचना

योजना अपनी ब्लॉक संरचना को पहले की ब्लॉक संरचित भाषाओं, विशेष रूप से ALGOL से विरासत में लेती है. योजना में, ब्लॉक तीन बाध्यकारी संरचनाओं के माध्यम से कार्यान्वित किए जाते हैं: let, let* and letrec. उदाहरण के लिए, निम्नलिखित निर्माण एक ब्लॉक बनाता है जिसमें var नामक प्रतीक संख्या 10 से जुड़ा होता है

(define var "goose")
;; Any reference to var here will be bound to "goose"
(let ((var 10))
  ;; statements go here.  Any reference to var here will be bound to 10.
  )
;; Any reference to var here will be bound to "goose"

प्रोग्रामर की जरूरतों के अनुसार मनमाने ढंग से जटिल ब्लॉक स्ट्रक्चर बनाने के लिए ब्लॉक को नेस्ट किया जा सकता है। स्थानीय बाइंडिंग बनाने के लिए ब्लॉक स्ट्रक्चरिंग का उपयोग नेमस्पेस टकराव के जोखिम को कम करता है जो अन्यथा हो सकता है।

let, let* का एक संस्करण, बाइंडिंग को उसी निर्माण में पहले परिभाषित चरों को संदर्भित करने की अनुमति देता है, इस प्रकार:

(let* ((var1 10)
       (var2 (+ var1 12)))
  ;; But the definition of var1 could not refer to var2
  )

अन्य संस्करण, लेट्रेक, को पारस्परिक रूप से पुनरावर्ती प्रक्रियाओं को एक दूसरे से बाध्य करने के लिए सक्षम करने के लिए डिज़ाइन किया गया है।

;; Calculation of Hofstadter's male and female sequences as a list of pairs

(define (hofstadter-male-female n)
  (letrec ((female (lambda (n)
		     (if (= n 0)
			 1
			 (- n (male (female (- n 1)))))))
	   (male (lambda (n)
		   (if (= n 0)
		       0
		       (- n (female (male (- n 1))))))))
    (let loop ((i 0))
      (if (> i n)
	  '()
	  (cons (cons (female i)
		      (male i))
		(loop (+ i 1)))))))

(hofstadter-male-female 8)

===> ((1 . 0) (1 . 0) (2 . 1) (2 . 2) (3 . 2) (3 . 3) (4 . 4) (5 . 4) (5 . 5))

(इस उदाहरण में प्रयुक्त परिभाषाओं के लिए हॉफस्टाटर के नर और मादा अनुक्रम देखें।)

एक एकल लेट्रेक में बंधी सभी प्रक्रियाएं एक दूसरे को नाम से संदर्भित कर सकती हैं, साथ ही उसी लेट्रेक में पहले परिभाषित चर के मूल्यों को भी संदर्भित कर सकती हैं, लेकिन वे उसी लेट्रेक में बाद में परिभाषित मूल्यों को संदर्भित नहीं कर सकते हैं।

लेट का एक प्रकार, "नामित लेट" फॉर्म, लेट कीवर्ड के बाद एक पहचानकर्ता है। यह लेट वेरिएबल्स को एक प्रक्रिया के तर्क से बांधता है जिसका नाम दिया गया पहचानकर्ता है और जिसका शरीर लेट फॉर्म का शरीर है। प्रक्रिया को कॉल करके वांछित के रूप में शरीर को दोहराया जा सकता है। पुनरावृत्ति को लागू करने के लिए नामित लेट का व्यापक रूप से उपयोग किया जाता है।

उदाहरण: एक साधारण काउंटर

(let loop ((n 1))
  (if (> n 10)
      '()
      (cons n
	    (loop (+ n 1)))))

===> (1 2 3 4 5 6 7 8 9 10)

योजना में किसी भी प्रक्रिया की तरह, नामित लेट में बनाई गई प्रक्रिया प्रथम श्रेणी की वस्तु है।

कार्यान्वयन मानक

यह उपखंड उन डिजाइन निर्णयों का दस्तावेजीकरण करता है जो वर्षों से लिए गए हैं जिन्होंने योजना को विशेष चरित्र दिया है, लेकिन मूल डिजाइन के प्रत्यक्ष परिणाम नहीं हैं।

संख्यात्मक टावर

Main article: संख्यात्मक टावर

योजना जटिल संख्या और परिमेय संख्या प्रकारों सहित संख्यात्मक डेटा प्रकारों के तुलनात्मक रूप से पूर्ण सेट को निर्दिष्ट करती है, जिसे योजना में संख्यात्मक टॉवर (आर5आरएस सेकंड 6.2) के रूप में जाना जाता है। मानक इन्हें सार के रूप में मानता है, और कार्यान्वयनकर्ता को किसी विशेष आंतरिक अभ्यावेदन के लिए प्रतिबद्ध नहीं करता है।

संख्याओं में स्पष्टता का गुण हो सकता है। स्पष्ट संख्या केवल स्पष्ट संचालन के अनुक्रम द्वारा उत्पादित की जा सकती है जिसमें अन्य स्पष्ट संख्याएं सम्मिलित हैं- इस प्रकार अक्षमता संक्रामक है। मानक निर्दिष्ट करता है कि किन्हीं भी दो कार्यान्वयनों को सभी परिचालनों के लिए समान परिणाम उत्पन्न करना चाहिए जिसके परिणामस्वरूप स्पष्ट संख्याएँ होती हैं।

आर5आरएस मानक प्रक्रियाओं को exact->inexact और inexact->exact निर्दिष्ट करता है, जिसका उपयोग किसी संख्या की स्पष्टता को बदलने के लिए किया जा सकता है। inexact->exact स्पष्ट संख्या उत्पन्न करता है जो तर्क के संख्यात्मक रूप से निकटतम है। exact->inexact अचूक संख्या उत्पन्न करता है जो संख्यात्मक रूप से तर्क के निकटतम है। आर6आरएस मानक इन प्रक्रियाओं को मुख्य सूची से हटा देता है, लेकिन उन्हें मानक पुस्तकालय (आरएनआरएस आर5आरएस (6)) में आर5आरएस संगतता प्रक्रियाओं के रूप में निर्दिष्ट करता है।

आर5आरएस मानक में, पूरे संख्यात्मक टॉवर को प्रयुक्त करने के लिए योजना कार्यान्वयन की आवश्यकता नहीं है, लेकिन उन्हें कार्यान्वयन के उद्देश्यों और योजना की भाषा (आर5आरएस सेकंड 6.2.3) की भावना दोनों के अनुरूप सुसंगत सबसेट प्रयुक्त करना होगा। नए आर6आरएस मानक को पूरे टॉवर के कार्यान्वयन की आवश्यकता होती है, और व्यावहारिक रूप से असीमित आकार और परिशुद्धता के स्पष्ट पूर्णांक ऑब्जेक्ट्स और स्पष्ट परिमेय संख्या ऑब्जेक्ट्स, और कुछ प्रक्रियाओं को प्रयुक्त करने के लिए ... इसलिए स्पष्ट तर्क दिए जाने पर वे सदैव स्पष्ट परिणाम देते हैं (आर6आरएस सेकंड। 3.4, धारा 11.7.1)।

उदाहरण 1: कार्यान्वयन में स्पष्ट अंकगणित जो स्पष्ट समर्थन करता है:

;; Sum of three rational real numbers and two rational complex numbers
(define x (+ 1/3 1/4 -1/5 -1/3i 405/50+2/3i))
x
===> 509/60+1/3i
;; Check for exactness.
(exact? x)
===> #t

उदाहरण 2: कार्यान्वयन में वही अंकगणित जो न तो स्पष्ट समर्थन करता है:

;; Sum of four rational real numbers
(define xr (+ 1/3 1/4 -1/5 405/50))
;; Sum of two rational real numbers
(define xi (+ -1/3 2/3))
xr
===> 8.48333333333333
xi
===> 0.333333333333333
;; Check for exactness.
(exact? xr)
===> #f
(exact? xi)
===> #f

दोनों कार्यान्वयन आर5आरएस मानक के अनुरूप हैं लेकिन दूसरा आर6आरएस के अनुरूप नहीं है क्योंकि यह पूर्ण संख्यात्मक टावर को प्रयुक्त नहीं करता है।

विलंबित मूल्यांकन

See also: सुस्त मूल्यांकन

योजना delay प्रपत्र और प्रक्रिया force के माध्यम से विलंबित मूल्यांकन का समर्थन करती है।

(define a 10)
(define eval-aplus2 (delay (+ a 2)))
(set! a 20)
(force eval-aplus2)
===> 22
(define eval-aplus50 (delay (+ a 50)))
(let ((a 8))
  (force eval-aplus50))
===> 70
(set! a 100)
(force eval-aplus2)
===> 22

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

ये आदिम, जो फ़्यूचर्स और वचनों के रूप में जाने वाले मूल्यों का उत्पादन या संचालन करते हैं, आदिम का उपयोग उन्नत आलसी मूल्यांकन निर्माणों जैसे स्ट्रीम को प्रयुक्त करने के लिए किया जा सकता है।

आर6आरएस मानक में, ये अब आदिम नहीं हैं, किन्तु इसके अतिरिक्त, आर5आरएस संगतता लाइब्रेरी (आरएनआरएस आर5आरएस (6)) के हिस्से के रूप में प्रदान किए जाते हैं।

आर5आरएस में, के कार्यान्वयन का सुझाव delay और force दिया गया है, वचन को बिना किसी तर्क (थंक) के प्रक्रिया के रूप में प्रयुक्त करना और यह सुनिश्चित करने के लिए मेमोइजेशन का उपयोग करना कि यह केवल एक बार मूल्यांकन किया जाता है, चाहे कितनी भी बार force (आर5आरएस सेकंड 6.4) कहा जाता है ।

एसआरएफआई 41 असाधारण अर्थव्यवस्था के साथ परिमित और अनंत दोनों अनुक्रमों की अभिव्यक्ति को सक्षम बनाता है। उदाहरण के लिए, यह एसआरएफआई 41 में परिभाषित कार्यों का उपयोग करके फाइबोनैचि संख्या की परिभाषा है:

;; Define the Fibonacci sequence:
(define fibs
  (stream-cons 0
    (stream-cons 1
      (stream-map +
        fibs
        (stream-cdr fibs)))))
;; Compute the hundredth number in the sequence:
(stream-ref fibs 99)
===>  218922995834555169026

प्रक्रिया तर्कों के मूल्यांकन का क्रम

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

(let ((ev (lambda(n) (display "Evaluating ")
                     (display (if (procedure? n) "procedure" n))
                     (newline) n)))
  ((ev +) (ev 1) (ev 2)))
===> 3

Evaluating 1
Evaluating 2
Evaluating procedure

ईवी ऐसी प्रक्रिया है जो इसे दिए गए तर्क का वर्णन करती है, फिर तर्क का मान लौटाती है। अन्य लिप्स के विपरीत, योजना अभिव्यक्ति की ऑपरेटर स्थिति (पहली वस्तु) में अभिव्यक्ति की उपस्थिति अधिक नियमबद्ध है, जब तक कि ऑपरेटर की स्थिति में अभिव्यक्ति का परिणाम प्रक्रिया है।

1 और 2 को जोड़ने के लिए "+" प्रक्रिया को कॉल करने में, भाव (ev +), (ev 1) और (ev 2) का मूल्यांकन किसी भी क्रम में किया जा सकता है, जब तक कि प्रभाव ऐसा नहीं है जैसे कि उनका मूल्यांकन समानांतर में किया गया हो। इस प्रकार निम्नलिखित तीन पंक्तियों को किसी भी क्रम में मानक योजना द्वारा प्रदर्शित किया जा सकता है जब उपरोक्त उदाहरण कोड निष्पादित किया जाता है, चूंकि पंक्ति का पाठ दूसरे के साथ अंतःस्थापित नहीं किया जा सकता है क्योंकि यह अनुक्रमिक मूल्यांकन बाधा का उल्लंघन करेगा।

स्वच्छ मैक्रोज़

Main article: स्वच्छ मैक्रो

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

स्वच्छ मैक्रो प्रणाली के कार्यान्वयन को भी syntax-rules कहा जाता है, शेष भाषा के शाब्दिक परिधि का सम्मान करना आवश्यक है। मैक्रो विस्तार के लिए विशेष नामकरण और स्कोपिंग नियमों द्वारा यह आश्वासन दिया गया है और सामान्य प्रोग्रामिंग त्रुटियों से बचा जाता है जो अन्य प्रोग्रामिंग भाषाओं के मैक्रो प्रणाली में हो सकती हैं। आर6आरएस अधिक परिष्कृत परिवर्तन प्रणाली syntax-case को निर्दिष्ट करता है, जो कुछ समय के लिए आर5आरएस योजना के भाषा विस्तार के रूप में उपलब्ध है।

;; Define a macro to implement a variant of "if" with a multi-expression
;; true branch and no false branch.
(define-syntax when
  (syntax-rules ()
    ((when pred exp exps ...)
      (if pred (begin exp exps ...)))))

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

अधिकांश योजना कार्यान्वयन अतिरिक्त मैक्रो प्रणाली भी प्रदान करते हैं। लोकप्रिय लोगों में वाक्यात्मक क्लोजर, स्पष्ट पुनर्नामकरण मैक्रोज़ और define-macro, गैर-स्वच्छ मैक्रो प्रणाली है जो सामान्य लिस्प में प्रदान की गई defmacro प्रणाली के समान है।

मैक्रो स्वच्छ है या नहीं, यह निर्दिष्ट करने में असमर्थता मैक्रो प्रणाली की कमियों में से एक है। विस्तार के लिए वैकल्पिक मॉडल जैसे स्कोप सेट संभावित समाधान प्रदान करते हैं।

पर्यावरण और ईवल

आर5आरएस से पहले, योजना में eval प्रक्रिया का कोई मानक समतुल्य नहीं था जो अन्य लिप्स में सर्वव्यापी है, चूंकि पहले लैम्ब्डा पेपर ने evaluateको "लिस्प फलन ईवल के समान" के रूप में वर्णित किया था और 1978 में पहली संशोधित सूची ने इसे बदल दिया enclose, जिसने दो तर्क लिए थे। दूसरी, तीसरी और चौथी संशोधित सूची में किसी भी eval समकक्ष को हटा दिया गया।

इस भ्रम का कारण यह है कि योजना में इसके शाब्दिक परिधि के साथ अभिव्यक्ति का मूल्यांकन करने का परिणाम इस बात पर निर्भर करता है कि इसका मूल्यांकन कहाँ किया जाता है। उदाहरण के लिए, यह स्पष्ट नहीं है कि निम्नलिखित अभिव्यक्ति का मूल्यांकन करने का परिणाम 5 या 6 होना चाहिए:

(let ((name '+))
  (let ((+ *))
    (evaluate (list name 2 3))))

यदि बाहरी वातावरण में इसका मूल्यांकन किया जाता है, जहां name परिभाषित किया गया है, परिणाम ऑपरेंड का योग है। यदि इसका मूल्यांकन आंतरिक वातावरण में किया जाता है, जहां प्रतीक + को प्रक्रिया * के मान के लिए बाध्य किया गया है, परिणाम दो ऑपरेंड का उत्पाद है।

आर5आरएस वातावरण लौटाने वाली तीन प्रक्रियाओं को निर्दिष्ट करके और प्रक्रिया प्रदान करके इस भ्रम को हल करता है eval जो एस-अभिव्यक्ति और वातावरण लेता है और प्रदान किए गए वातावरण में अभिव्यक्ति का मूल्यांकन करता है। (आर5आरएस सेकंड 6.5) आर6आरएस नामक प्रक्रिया प्रदान करके इसे विस्तारित करता है environment जिसके द्वारा प्रोग्रामर स्पष्ट रूप से निर्दिष्ट कर सकता है कि मूल्यांकन वातावरण में किन वस्तुओं को आयात करना है।

इस अभिव्यक्ति का मूल्यांकन करने के लिए आधुनिक योजना (सामान्यतः आर5आरएस के साथ संगत) के साथ, फलन को परिभाषित करने की आवश्यकता होती है evaluate जो इस तरह दिख सकता है:

(define (evaluate expr)
   (eval expr (interaction-environment)))

interaction-environment दुभाषिया का वैश्विक वातावरण है।

बूलियन अभिव्यक्तियों में गैर-बूलियन मूल्यों का उपचार

सामान्य लिस्प सहित लिस्प की अधिकांश बोलियों में, सम्मेलन द्वारा मूल्य NIL बूलियन व्यंजक में गलत मान का मूल्यांकन करता है। योजना में, 1991 में आईईईई मानक के बाद से, सभी #f मूल्यों को छोड़कर, सम्मिलित योजना में NIL के समकक्ष सहित, जो इस '() रूप में लिखा गया है, बूलियन व्यंजक में सही मान का मूल्यांकन करें। (आर5आरएस सेकंड 6.3.1)

जहां सत्य के बूलियन मान का प्रतिनिधित्व करने वाला स्थिरांक T है, अधिकांश लिप्स में, योजना में #t यह है।

आदिम डेटाटाइप्स की विसंगति

योजना में आदिम डेटाटाइप अलग हैं। निम्न में से केवल विधेय किसी भी योजना वस्तु के लिए boolean?, pair?, symbol?, number?, char?, string?, vector?, port?, procedure?सही हो सकता है। (आर5आरएस सेकंड 3.2)

संख्यात्मक डेटा प्रकार के अंदर, इसके विपरीत, संख्यात्मक मान ओवरलैप होते हैं। उदाहरण के लिए, पूर्णांक मान सभी को संतुष्ट करता है integer?, rational?, real?, complex? और number? एक ही समय में भविष्यवाणी करता है। (आर5आरएस सेकंड 6.2)

समतुल्यता विधेय

See also: संबंधपरक संचालिका

योजना में तीन अलग-अलग समतुल्य वस्तुओं के बीच तीन अलग-अलग प्रकार की तुल्यता है, जो तीन अलग-अलग तुल्यता विधेय, समानता के परीक्षण के लिए संबंधपरक संचालकों eq?, eqv? और equal? द्वारा निरूपित की जाती है :

• eq? , #f का मूल्यांकन करता है, जब तक इसके पैरामीटर स्मृति में समान डेटा ऑब्जेक्ट का प्रतिनिधित्व नहीं करते;
• eqv? सामान्यतः eq? जैसा ही होता है, लेकिन आदिम वस्तुओं (जैसे वर्ण और संख्या) को विशेष रूप से व्यवहार करता है जिससे समान मान का प्रतिनिधित्व करने वाली संख्याएँ eqv? हों, तथापि वे एक ही वस्तु का उल्लेख न करते हों;
• equal? यह निर्धारित करने के लिए डेटा संरचनाओं जैसे सूचियों, वैक्टर और स्ट्रिंग्स की तुलना करता है कि क्या उनके पास सर्वांगसम संरचना और eqv? सामग्री है। (आर5आरएस सेकंड 6.1)

योजना में प्रकार पर निर्भर तुल्यता संचालन भी उपस्थित हैं: string=? और string-ci=? दो स्ट्रिंग्स की तुलना करें (उत्तरार्द्ध केस-स्वतंत्र तुलना करता है); char=? और char-ci=? पात्रों की तुलना करें; = संख्याओं की तुलना करता है।

टिप्पणियाँ

See also: टिप्पणी (कंप्यूटर प्रोग्रामिंग)

आर5आरएस मानक तक, योजना में मानक टिप्पणी अर्धविराम थी, जो शेष रेखा को योजना के लिए अदृश्य बना देती है। कई कार्यान्वयनों ने वैकल्पिक सम्मेलनों का समर्थन किया है जो टिप्पणियों को पंक्ति से अधिक विस्तारित करने की अनुमति देते हैं, और आर6आरएस मानक उनमें से दो को अनुमति देता है: संपूर्ण एस-अभिव्यक्ति को टिप्पणी (या टिप्पणी की गई) में बदल दिया जा सकता है, इसके पहले (एसआरएफआई 62 में प्रस्तुत किया गया) और बहुपंक्ति टिप्पणी #| या ब्लॉक टिप्पणी |# आसपास के पाठ द्वारा निर्मित की जा सकती है।

इनपुट/आउटपुट

योजना का इनपुट और आउटपुट पोर्ट डेटाटाइप पर आधारित है। (आर5आरएस सेकंड 6.6) आर5आरएस प्रक्रियाओं के साथ दो डिफ़ॉल्ट पोर्ट current-input-port और current-output-port को परिभाषित करता है, जो मानक धाराओं की यूनिक्स धारणाओं के अनुरूप है। अधिकांश कार्यान्वयन current-error-port भी प्रदान करते हैं, इनपुट और मानक आउटपुट का पुनर्निर्देशन (कंप्यूटिंग) मानक प्रक्रियाओं जैसे कि with-input-from-file और with-output-to-file मानक में समर्थित है। अधिकांश कार्यान्वयन समान पुनर्निर्देशन क्षमताओं के साथ स्ट्रिंग पोर्ट प्रदान करते हैं, एसआरएफआई 6 में वर्णित प्रक्रियाओं का उपयोग करते हुए, फाइलों के अतिरिक्त स्ट्रिंग बफ़र्स पर कई सामान्य इनपुट-आउटपुट संचालन को सक्षम करते हैं। आर6आरएस मानक बहुत अधिक परिष्कृत और सक्षम पोर्ट प्रक्रियाओं और कई नए प्रकार के पोर्टों को निर्दिष्ट करता है।

निम्नलिखित उदाहरण कठोर आर5आरएस योजना में लिखे गए हैं।

उदाहरण 1: आउटपुट डिफ़ॉल्ट (वर्तमान-आउटपुट-पोर्ट) के साथ:

(let ((hello0 (lambda() (display "Hello world") (newline))))
  (hello0))

उदाहरण 2: 1 के रूप में, लेकिन आउटपुट प्रक्रियाओं के लिए वैकल्पिक पोर्ट तर्क का उपयोग करना:

(let ((hello1 (lambda (p) (display "Hello world" p) (newline p))))
  (hello1 (current-output-port)))

उदाहरण 3: 1 के रूप में, लेकिन आउटपुट को नई बनाई गई फ़ाइल पर पुनर्निर्देशित किया जाता है:

;; NB: with-output-to-file is an optional procedure in R5RS
(let ((hello0 (lambda () (display "Hello world") (newline))))
  (with-output-to-file "helloworldoutputfile" hello0))

उदाहरण 4: 2 के रूप में, लेकिन फ़ाइल में आउटपुट भेजने के लिए स्पष्ट फ़ाइल खुली और पोर्ट बंद है:

(let ((hello1 (lambda (p) (display "Hello world" p) (newline p)))
      (output-port (open-output-file "helloworldoutputfile")))
  (hello1 output-port)
  (close-output-port output-port))

उदाहरण 5: 2 के रूप में, लेकिन फ़ाइल में आउटपुट भेजने के लिए कॉल-विद-आउटपुट-फाइल का उपयोग करने के साथ:

(let ((hello1 (lambda (p) (display "Hello world" p) (newline p))))
  (call-with-output-file "helloworldoutputfile" hello1))

इनपुट के लिए समान प्रक्रियाएं प्रदान की जाती हैं। आर5आरएस योजना विधेय input-port? और output-port? प्रदान करती है। चरित्र इनपुट और आउटपुट के लिए, write-char, read-char, peek-char और char-ready? उपलब्ध कराए गए हैं। योजना के भाव लिखने और पढ़ने के लिए, write और read योजना प्रदान करती है। रीड ऑपरेशन पर, यदि इनपुट पोर्ट फ़ाइल के अंत तक पहुँच गया है, तो लौटाया गया परिणाम फ़ाइल का अंत है, और इसे विधेय eof-object? का उपयोग करके परीक्षण किया जा सकता है।

मानक के अतिरिक्त, एसआरएफआई 28 सामान्य लिस्प के समान मूलभूत स्वरूपण प्रक्रिया को परिभाषित करता है, जिसके बाद इसका नाम format कार्य दिया गया है।

मानक प्रक्रियाओं की पुनर्व्याख्या

योजना में, प्रक्रियाएं चर के लिए बाध्य हैं। आर5आरएस में भाषा मानक औपचारिक रूप से अनिवार्य है कि कार्यक्रम अंतर्निहित प्रक्रियाओं के चर बंधनों को बदल सकते हैं, उन्हें प्रभावी ढंग से पुनर्परिभाषित कर सकते हैं। आर5आरएस भाषा परिवर्तन, उदाहरण के लिए, स्ट्रिंग्स के साथ-साथ संख्याओं को फिर से परिभाषित करके स्वीकार करने के लिए + का विस्तार किया जा सकता है:

(set! +
      (let ((original+ +))
        (lambda args
          (apply (if (or (null? args) (string? (car args)))
                     string-append
                     original+)
                 args))))
(+ 1 2 3)
===> 6
(+ "1" "2" "3")
===> "123"

आर6आरएस (आर6आरएस सेकंड 7.1) में मानक सहित प्रत्येक बंधन, कुछ पुस्तकालय से संबंधित है, और सभी निर्यातित बंधन अपरिवर्तनीय हैं। इस कारण से, उत्परिवर्तन द्वारा मानक प्रक्रियाओं को पुनर्परिभाषित करना प्रतिबंधित है। इसके अतिरिक्त, मानक प्रक्रिया के नाम से अलग प्रक्रिया आयात करना संभव है, जो वास्तव में पुनर्वितरण के समान है।

नामकरण और नामकरण परंपराएं

मानक योजना में, प्रक्रियाएं जो एक डेटाटाइप से दूसरे में परिवर्तित होती हैं, उनके नाम में वर्ण स्ट्रिंग "->" होती है, "?" के साथ समाप्त होती है, और प्रक्रियाएं जो पहले से आवंटित डेटा के मूल्य को "!" के साथ समाप्त करती हैं। इन सम्मेलनों की अधिकांशतः योजना का प्रोग्रामर द्वारा पालन किया जाता है।

योजना मानकों जैसे औपचारिक संदर्भों में, लैम्ब्डा अभिव्यक्ति या आदिम प्रक्रिया को संदर्भित करने के लिए कार्य करने के लिए शब्द प्रक्रिया का उपयोग वरीयता में किया जाता है। सामान्य उपयोग में, शब्द प्रक्रिया और कार्य परस्पर विनिमय के लिए उपयोग किए जाते हैं। प्रक्रिया आवेदन को कभी-कभी औपचारिक रूप से संयोजन के रूप में संदर्भित किया जाता है।

अन्य लिप्स की तरह, "थंक" शब्द का उपयोग योजना में बिना किसी तर्क के प्रक्रिया को संदर्भित करने के लिए किया जाता है। प्रॉपर टेल रिकर्सन शब्द सभी योजना कार्यान्वयनों की संपत्ति को संदर्भित करता है, कि वे टेल-कॉल ऑप्टिमाइज़ेशन करते हैं जिससे सक्रिय टेल कॉल की अनिश्चित संख्या का समर्थन किया जा सके।

आर3आरएस, संशोधित के बाद से मानकों के दस्तावेजों के शीर्षक का रूप कलनविधि भाषा योजना पर सूची, एल्गोल मानक दस्तावेज़ के शीर्षक का संदर्भ है, कलनविधि भाषा एल्गोल 60 पर संशोधित सूची, आर3आरएस का सारांश पृष्ठ एल्गोल 60 सूची के सारांश पृष्ठ पर शुद्धता से तैयार किया गया है।

मानक रूपों और प्रक्रियाओं की समीक्षा

भाषा को औपचारिक रूप से मानकों आर5आरएस (1998) और आर6आरएस (2007) में परिभाषित किया गया है। वे मानक रूपों का वर्णन करते हैं: कीवर्ड और संबंधित वाक्य-विन्यास, जो भाषा की नियंत्रण संरचना प्रदान करते हैं, और मानक प्रक्रियाएं जो सामान्य कार्य करती हैं।

मानक रूप

यह तालिका योजना में मानक रूपों का वर्णन करती है। कुछ रूप एक से अधिक पंक्तियों में दिखाई देते हैं क्योंकि उन्हें सरलता से भाषा में एक ही कार्य में वर्गीकृत नहीं किया जा सकता है।

इस तालिका में एल चिह्नित रूपों को मानक में व्युत्पन्न पुस्तकालय रूपों के रूप में वर्गीकृत किया गया है और अधिकांशतः अभ्यास में अधिक मौलिक रूपों का उपयोग करके मैक्रोज़ के रूप में कार्यान्वित किया जाता है, जिससे कार्यान्वयन का कार्य अन्य भाषाओं की तुलना में अधिक सरल हो जाता है।

भाषा आर5आरएस योजना में मानक प्रपत्र

उद्देश्य	फॉर्म
परिभाषा	define
बाध्यकारी संरचनाएं	lambda, do (L), let (L), let* (L), letrec (L)
सशर्त मूल्यांकन	if, cond (L), case (L), and (L), or (L)
अनुक्रमिक मूल्यांकन	begin (*)
पुनरावृत्ति	lambda, do (L), named let (L)
वाक्यात्मक विस्तार	define-syntax, let-syntax, letrec-syntax, syntax-rules (R5RS), syntax-case (R6RS)
उद्धरण	quote('), unquote(,), quasiquote(`), unquote-splicing(,@)
नियत कार्य	set!
विलंबित मूल्यांकन	delay (L)

ध्यान दें कि begin आर5आरएस में लाइब्रेरी वाक्य-विन्यास के रूप में परिभाषित किया गया है, लेकिन विस्तारक को स्प्लिसिंग कार्यक्षमता प्राप्त करने के लिए इसके बारे में जानना आवश्यक है। आर6आरएस में यह अब लाइब्रेरी वाक्य-विन्यास नहीं है।

मानक प्रक्रियाएं

निम्नलिखित दो तालिकाएँ आर5आरएस योजना में मानक प्रक्रियाओं का वर्णन करती हैं। आर6आरएस कहीं अधिक व्यापक है और इस प्रकार का सारांश व्यावहारिक नहीं होगा।

कुछ प्रक्रियाएँ एक से अधिक पंक्तियों में दिखाई देती हैं क्योंकि उन्हें सरलता से भाषा में एक ही कार्य में वर्गीकृत नहीं किया जा सकता है।

भाषा आर5आरएस योजना में मानक प्रक्रियाएं

उद्देश्य	प्रक्रियाएं
निर्माण	vector, make-vector, make-string, list
समतुल्यता विधेय	eq?, eqv?, equal?, string=?, string-ci=?, char=?, char-ci=?
प्रकार रूपांतरण	vector->list, list->vector, number->string, string->number, symbol->string, string->symbol, char->integer, integer->char, string->list, list->string
संख्याएँ	See separate table
स्ट्रिंग्स	string?, make-string, string, string-length, string-ref, string-set!, string=?, string-ci=?, string<? string-ci<?, string<=? string-ci<=?, string>? string-ci>?, string>=? string-ci>=?, substring, string-append, string->list, list->string, string-copy, string-fill!
वर्ण	char?, char=?, char-ci=?, char<? char-ci<?, char<=? char-ci<=?, char>? char-ci>?, char>=? char-ci>=?, char-alphabetic?, char-numeric?, char-whitespace?, char-upper-case?, char-lower-case?, char->integer, integer->char, char-upcase, char-downcase
सदिश	make-vector, vector, vector?, vector-length, vector-ref, vector-set!, vector->list, list->vector, vector-fill!
प्रतीक	symbol->string, string->symbol, symbol?
जोड़े और सूचियाँ	pair?, cons, car, cdr, set-car!, set-cdr!, null?, list?, list, length, append, reverse, list-tail, list-ref, memq. memv. member, assq, assv, assoc, list->vector, vector->list, list->string, string->list
पहचान विधेय	boolean?, pair?, symbol?, number?, char?, string?, vector?, port?, procedure?
निरंतरता	call-with-current-continuation (call/cc), values, call-with-values, dynamic-wind
वातावरण	eval, scheme-report-environment, null-environment, interaction-environment (optional)
इनपुट/आउटपुट	display, newline, read, write, read-char, write-char, peek-char, char-ready?, eof-object? open-input-file, open-output-file, close-input-port, close-output-port, input-port?, output-port?, current-input-port, current-output-port, call-with-input-file, call-with-output-file, with-input-from-file(optional), with-output-to-file(optional)
प्रणाली इंटरफेस	load (optional), transcript-on (optional), transcript-off (optional)
विलंबित मूल्यांकन	force
कार्यात्मक प्रोग्रामिंग	procedure?, apply, map, for-each
बूलियन्स	boolean? not

स्ट्रिंग और चरित्र प्रक्रियाएं जिनके नाम में -सीआई सम्मिलित है, उनके तर्कों के बीच केस-स्वतंत्र तुलना करते हैं: एक ही वर्ण के अपर केस और लोअर केस संस्करणों को समान माना जाता है।

भाषा आर5आरएस योजना में मानक संख्यात्मक प्रक्रियाएं

उद्देश्य	प्रक्रियाएं
मूल अंकगणितीय ऑपरेटर	+, -, *, /, abs, quotient, remainder, modulo, gcd, lcm, expt, sqrt
भिन्नात्मक संख्याएं	numerator, denominator, rational?, rationalize
सन्निकटन	floor, ceiling, truncate, round
शुद्धता	inexact->exact, exact->inexact, exact?, inexact?
असमानता	<, <= , >, >=, =
विविध विधेय	zero?, negative?, positive? odd? even?
अधिकतम और न्यूनतम	max, min
त्रिकोणमिति	sin, cos, tan, asin, acos, atan
घातांक	exp, log
सम्मिश्र संख्याएँ	make-rectangular, make-polar, real-part, imag-part, magnitude, angle, complex?
इनपुट-आउटपुट	number->string, string->number
प्रकार विधेय	integer?, rational?, real?, complex?, number?

"-"और "/" के कार्यान्वयन जो दो से अधिक तर्क लेते हैं परिभाषित हैं लेकिन आर5आरएस पर वैकल्पिक छोड़ दिए गए हैं।

कार्यान्वयन के लिए योजना अनुरोध

Main article: कार्यान्वयन के लिए योजना अनुरोध

योजना के अतिसूक्ष्मवाद के कारण, कई सामान्य प्रक्रियाएँ और वाक्यात्मक रूप मानक द्वारा परिभाषित नहीं किए गए हैं। मूल भाषा को छोटा रखने के लिए लेकिन विस्तार के मानकीकरण की सुविधा के लिए, योजना समुदाय के पास कार्यान्वयन के लिए योजना अनुरोध (एसआरएफआई) प्रक्रिया है जिसके द्वारा विस्तार प्रस्तावों की सावधानीपूर्वक चर्चा के माध्यम से विस्तार पुस्तकालयों को परिभाषित किया जाता है। यह कोड पोर्टेबिलिटी को बढ़ावा देता है। कई एसआरएफआई सभी या अधिकांश योजना कार्यान्वयन द्वारा समर्थित हैं।

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

लगभग सभी कार्यान्वयन विकास और डिबगिंग के लिए पारंपरिक लिस्प-शैली रीड-इवल-प्रिंट लूप प्रदान करते हैं। निष्पादन योग्य बाइनरी के लिए कई कंपाइलर योजना प्रोग्राम भी हैं। अन्य भाषाओं में लिखे गए प्रोग्रामों में योजना कोड एम्बेड करने के लिए समर्थन भी सामान्य है, क्योंकि योजना के कार्यान्वयन की सापेक्ष सरलता इसे सी (प्रोग्रामिंग भाषा) जैसी भाषाओं में विकसित बड़ी प्रणालियों में स्क्रिप्टिंग क्षमताओं को जोड़ने के लिए लोकप्रिय विकल्प बनाती है। गैम्बिट (योजना कार्यान्वयन), चिकन, और बिगलू योजना दुभाषिए योजना को सी में संकलित करते हैं, जो एम्बेडिंग को विशेष रूप से सरल बनाता है। इसके अतिरिक्त, बिगलू के कंपाइलर को जावा वर्चुअल मशीन बाईटकोड उत्पन्न करने के लिए विन्यस्त किया जा सकता है, और इसमें .नेट फ्रेमवर्क के लिए प्रायोगिक बायटेकोड जनरेटर भी है।

कुछ कार्यान्वयन अतिरिक्त सुविधाओं का समर्थन करते हैं। उदाहरण के लिए, कावा (योजना कार्यान्वयन) और जेस्कीम जावा कक्षाओं के साथ एकीकरण प्रदान करते हैं, और योजना सी संकलक के लिए योजना अधिकांशतः सी में लिखी गई बाहरी पुस्तकालयों का उपयोग करना सरल बनाती है, योजना स्रोत में वास्तविक सी कोड को एम्बेड करने की अनुमति देने तक सरल बनाती है। एक अन्य उदाहरण प्राइवेट है, जो योजना के सीखने का समर्थन करने के लिए दृश्य उपकरणों का सेट प्रदान करता है।

उपयोग

योजना का उपयोग व्यापक रूप से स्कूलों के संख्या द्वारा किया जाता है; विशेष रूप से, कई परिचयात्मक कंप्यूटर विज्ञान पाठ्यक्रम पाठ्यपुस्तक संरचना और कंप्यूटर प्रोग्राम की व्याख्या (एसआईसीपी) के संयोजन में योजना का उपयोग करते हैं। पिछले 12 वर्षों से, रैकेट (प्रोग्रामिंग भाषा) ने प्रोग्रामबायडिजाइन (पूर्व में शिक्षण योजना!) परियोजना चलाया है, जिसने लगभग 600 हाई स्कूल के शिक्षकों और हजारों हाई स्कूल के छात्रों को अल्पविकसित योजना प्रोग्रामिंग के लिए प्रकट किया है। एमआईटी की पुरानी परिचयात्मक प्रोग्रामिंग कक्षा 6.001 को योजना में पढ़ाया गया था, रेफरी नाम = 6.001 >एरिक ग्रिमसन (स्प्रिंग 2005). "6.001 कंप्यूटर प्रोग्राम की संरचना और व्याख्या". एमआईटी ओपन कोर्सवेयर. Retrieved 2009-10-20. {{cite web}}: Check date values in: |date= (help)</ref> चूंकि 6.001 को और अधिक आधुनिक पाठ्यक्रमों से बदल दिया गया है, एसआईसीपी को एमआईटी में पढ़ाया जाना प्रचलित है।

माथियास फेलिसन द्वारा पाठ्यपुस्तक हाउ टू डिज़ाइन प्रोग्राम्स, वर्तमान में नॉर्थईस्टर्न विश्वविद्यालय में, उच्च शिक्षा के कुछ संस्थानों द्वारा उनके परिचयात्मक कंप्यूटर विज्ञान पाठ्यक्रमों के लिए उपयोग की जाती है। नॉर्थईस्टर्न विश्वविद्यालय और वॉर्सेस्टर पॉलिटेक्निक संस्थान दोनों ही योजना का उपयोग विशेष रूप से उनके परिचयात्मक पाठ्यक्रम फंडामेंटल ऑफ कंप्यूटर साइंस (सीएस2500) और इंट्रोडक्शन टू प्रोग्राम डिजाइन (सीएस1101) के लिए करते हैं। रोज़-हल्मन अपने अधिक उन्नत प्रोग्रामिंग भाषा संकल्पना कोर्स में योजना का उपयोग करता है। ब्रैंडिस विश्वविद्यालय का कोर कोर्स, स्ट्रक्चर एंड इंटरप्रिटेशन ऑफ कंप्यूटर प्रोग्राम्स (सीओएसआई121b), भी विशेष रूप से सैद्धांतिक कंप्यूटर वैज्ञानिक हैरी मैरसन द्वारा योजना में पढ़ाया जाता है। इंडियाना विश्वविद्यालय की परिचयात्मक कक्षा, सी211, पूरी तरह से योजना में पढ़ाई जाती है। पाठ्यक्रम का आत्म-केंद्रित संस्करण, सीएस 61एएस, योजना का उपयोग प्रचलित रखता है। येल और ग्रिनेल कॉलेज में परिचयात्मक कंप्यूटर विज्ञान पाठ्यक्रम भी योजना में पढ़ाए जाते हैं। प्रोग्रामिंग डिजाइन प्रतिमान, पूर्वोत्तर विश्वविद्यालय में कंप्यूटर विज्ञान स्नातक छात्रों के लिए अनिवार्य पाठ्यक्रम भी व्यापक रूप से योजना का उपयोग करता है। मिनेसोटा विश्वविद्यालय - ट्विन सिटीज, सीएससीआई 1901 में पूर्व परिचयात्मक कंप्यूटर विज्ञान पाठ्यक्रम, ने भी अपनी प्राथमिक भाषा के रूप में योजना का उपयोग किया, इसके बाद ऐसा पाठ्यक्रम आया जिसने छात्रों को जावा प्रोग्रामिंग भाषा से परिचित कराया; चूंकि, एमआईटी के उदाहरण का अनुसरण करते हुए, विभाग ने 1901 को पायथन-आधारित सीएससीआई 1133 के साथ परिवर्तित कर दिया, जबकि कार्यात्मक प्रोग्रामिंग को तीसरे सेमेस्टर पाठ्यक्रम सीएससीआई 2041 में विस्तार से सम्मिलित किया गया है। संदर्भ नाम = umn3 >सीएससीआई 2041—नया पाठ्यक्रम सीएसई पाठ्यचर्या समिति, मिनेसोटा विश्वविद्यालय (2019 में देखा गया) -10-25)</ref> सॉफ्टवेयर उद्योग में, टाटा कंसल्टेंसी सर्विसेज, एशिया की सबसे बड़ी सॉफ्टवेयर कंसल्टेंसी फर्म, नए कॉलेज स्नातकों के लिए अपने महीने भर चलने वाले प्रशिक्षण कार्यक्रम में योजना का उपयोग करती है।

योजना का उपयोग निम्नलिखित के लिए भी किया गया था:

• दस्तावेज़ शैली शब्दार्थ और विशिष्टता भाषा (डीएसएसएसएल), जो एसजीएमएल स्टाइल शीट (वेब ​​डेवलपमेंट) को निर्दिष्ट करने की विधि प्रदान करता है, योजना सबसेट का उपयोग करता है।
• जाने-माने खुला स्रोत सॉफ्टवेयर रेखापुंज ग्राफिक्स संपादक जीआईएमपी स्क्रिप्टिंग भाषा के रूप में छोटी योजना का उपयोग करता है।
• जीएनयू गुइल को जीएनयू परियोजना द्वारा अपनी आधिकारिक स्क्रिप्टिंग भाषा के रूप में अपनाया गया है, और योजना का कार्यान्वयन एक्सटेंशन के लिए स्क्रिप्टिंग भाषा के रूप में जीएनयू लिलीपॉन्ड और जीएनयूकैश जैसे अनुप्रयोगों में अंतर्निहित है। इसी तरह, गाइल डेस्कटॉप वातावरण सूक्ति के लिए स्क्रिप्टिंग भाषा हुआ करती थी, और गनोम के ​​पास अभी भी परियोजना है जो इसके लाइब्रेरी स्टैक को गुइल बाइंडिंग प्रदान करता है।
• एल्क योजना का उपयोग सिनोप्सिस द्वारा इसकी प्रौद्योगिकी सीएडी (टीसीएडी) उपकरणों के लिए स्क्रिप्टिंग भाषा के रूप में किया जाता है।
• फ़ाइनल फ़ैंटेसी: स्पिरिट्स विदिन फ़िल्म के वरिष्ठ प्रोग्रामर शिरो कवाई ने रीयल-टाइम रेंडरिंग इंजन के प्रबंधन के लिए स्क्रिप्टिंग भाषा के रूप में योजना का उपयोग किया।<ref name="शिरो_कवाई">कवाई, शिरो (अक्टूबर 2002). "ग्लूइंग थिंग्स टुगेदर - स्कीम इन रियल-टाइम सीजी कंटेंट प्रोडक्शन". प्रथम अंतर्राष्ट्रीय लिस्प सम्मेलन, सैन फ्रांसिस्को की कार्यवाही: 342–348. Retrieved 2012-08-09. {{cite journal}}: Check date values in: |date= (help)</रेफरी>
• एंड्रॉइड (ऑपरेटिंग प्रणाली) के लिए गूगल ऐप आविष्कारक योजना का उपयोग करता है, जहां कावा (योजना कार्यान्वयन) का उपयोग एंड्रॉयड उपकरणों पर चलने वाली जावा वर्चुअल मशीन के लिए योजना कोड को बाइट-कोड में संकलित करने के लिए किया जाता है। रेफरी नाम = एंड्रॉइड>बिल मैग्नसन; हैल एबेलसन; मार्क फ्रीडमैन (2009-08-11). "एंड्रॉयड के लिए ऐप आविष्कारक के दायरे में". गूगल इंक, आधिकारिक गूगल शोध ब्लॉग. Retrieved 2012-08-09. {{cite web}}: Invalid |name-list-style=एम्प (help)</रेफरी>

यह भी देखें

• आधार के रूप में योजना का उपयोग प्रोग्रामिंग भाषाओं की अनिवार्यता, पाठ्यपुस्तक की अनिवार्यता

अग्रिम पठन

• An Introduction to Scheme and its Implementation (a mirror)
• Christopher T. Haynes (1999-06-22). "The Scheme Programming Language Standardization Experience".
• Guy L. Steele Jr., Richard P. Gabriel. "The Evolution of Lisp" (PDF).
• Gerald Jay Sussman & Guy Lewis Steele Jr. (December 1975). Scheme: An Interpreter for Extended Lambda Calculus . Vol. AI Memo 349. MIT Artificial Intelligence Lab. CiteSeerX 10.1.1.128.80 – via Wikisource.

बाहरी संबंध

• Scheme at Curlie
• schemers.org provides links to a number of Scheme resources including the specifications
• Scheme Programming at Wikibooks
• Write Yourself a Scheme in 48 Hours at Wikibooks
• Media related to Scheme (programming language) at Wikimedia Commons
• Scheme Weekly
• Bookmarklet that add Interactive Scheme REPL to any website