मानव भाषाओं का पृथक्करण (डार्विनियन?) पृथक समुदायों में विकास से आता है। प्रोग्रामिंग भाषाओं का पृथक्करण तकनीकी आवश्यकता, तकनीकी विचारधारा में बदलाव, तकनीकी और सैद्धांतिक समझ में परिवर्तन से लेकर, हमारी तकनीकी क्षमता में परिवर्तन से लागू होता है। यह एक और अधिक जागरूक प्रक्रिया है, मुझे लगता है।
क्या कंप्यूटर भाषाएँ प्राकृतिक भाषाओं की तरह हो सकती हैं? शायद कुछ हद तक, एक बिंदु तक। मेरा अनुमान है कि प्राकृतिक भाषा की जटिलता का एक बड़ा हिस्सा विभिन्न समवर्ती विकास की घटनाओं से उत्पन्न होता है, जिसका किसी भी समय किसी एक बिंदु पर एक सुसंगत परिणाम उत्पन्न करने का कोई कारण नहीं है, हालांकि यह संभावना है कि पुरानी विसंगतियां संभवतः उत्तरोत्तर समाप्त हो जाती हैं जबकि नया दिखाई देता है । मैं diachronic linguistics में कोई विशेषज्ञ नहीं हूं। लेकिन क्या हम चाहते हैं कि प्रोग्रामिंग भाषाओं में इस तरह की जटिलता हो।
अस्पष्टता का मुद्दा एक महत्वपूर्ण है, लेकिन जैसा कि अधिकांश लोगों द्वारा नहीं कहा गया है। एक भाषा संचार का एक माध्यम है, और उस संचार के संदर्भ में इसका विश्लेषण किया जाना चाहिए (आदमी-आदमी, आदमी-मशीन, दोनों, स्थानों के बीच या समय के बीच, ... इसे थोड़ा सरल रूप से कहने के लिए)। क्या मायने नहीं रखता है कि क्या आप भाषा में केवल अस्पष्ट बयान कर सकते हैं, लेकिन क्या आप हमेशा यह सुनिश्चित कर सकते हैं कि संचार अपने इच्छित संदर्भ में अस्पष्ट होगा। एक अच्छी तरह से ज्ञात और व्यापक रूप से उपयोग की जाने वाली प्रोग्रामिंग भाषा है, जो अस्पष्ट कार्यक्रमों को लिखने की अनुमति देती है (ठीक है, यह किया था, लेकिन मैंने कुछ समय के लिए नवीनतम संस्करणों को नहीं देखा है)। इस मामले में, कंपाइलर स्मार्ट है जो अस्पष्टता का पता लगाता है और स्पष्टीकरण मांगता है, जिसे प्रोग्राम में शामिल किया जा सकता है ताकि अस्पष्टता को खत्म किया जा सके। ध्यान दें कि अस्पष्टता का पता लगाने का मतलब यह नहीं है कि संभावित विकल्पों में से केवल एक का अर्थ है, वे सभी करते हैं। मुद्दा यह है कि संचार संस्थाओं में से एक अस्पष्टता का पता लगा सकता है ताकि प्रेषक इसे स्पष्ट कर सके। मनुष्य इस पर बुरा है, लेकिन कंप्यूटर बहुत अच्छे हो सकते हैं।
औपचारिकताएं और प्रोग्रामिंग भाषाएं अधिक समृद्ध और अधिक लचीली वाक्य रचना हो सकती हैं। मेरा मानना है कि मुख्य कारण वे सरल रूढ़िवाद नहीं है। उस समय के कंप्यूटर की सीमाओं को पूरा करने के लिए तीस साल पहले या उससे अधिक डिज़ाइन किए गए सिंटैक्टिक टूल अभी भी बहुत बार उपयोग किए जाते हैं। पार्सिंग दक्षता अब संकलन में इतना महत्वपूर्ण मुद्दा नहीं है और अधिक शक्तिशाली तकनीकें मौजूद हैं।
दिलचस्प रूप से, प्रोग्रामिंग भाषाओं के लिए सबसे व्यापक रूप से इस्तेमाल किया जाने वाला आधार वाक्यविन्यास प्राकृतिक भाषा अनुसंधान से आता है: संदर्भ-मुक्त व्याकरण। अधिकांश तकनीकी अनुसंधान साठ के दशक में सैद्धांतिक / तकनीकी कंप्यूटर विज्ञान में चले गए, प्राकृतिक भाषा के लोगों द्वारा अस्सी के दशक में कुछ हद तक फिर से खोजा गया (मैं सरल कर रहा हूं)। तब से, प्राकृतिक भाषाओं में वाक्य रचना के लिए बहुत प्रगति हुई है, जबकि कंप्यूटर विज्ञान पुराने वाक्य-विन्यास उपकरणों के साथ काफी हद तक अटका हुआ लगता है। प्राकृतिक भाषा पेंडुलम अब सांख्यिकीय तकनीकों की ओर फिर से झूल रही है, लेकिन सिंटैक्स के लिए बीजीय दृष्टिकोण को नहीं भुलाया जाता है। सबसे अधिक संभावना है, अच्छे दृष्टिकोण बीजीय और सांख्यिकीय तकनीकों के संयोजन से आएंगे।
मेरी भावना यह है कि आलोचनात्मक क्षेत्र शब्दार्थ है और वाक्य रचना और शब्दार्थ के बीच संक्रमण है। प्राकृतिक भाषा के लिए औपचारिकता करना अभी भी बहुत कठिन है, जबकि हमारे पास प्रोग्रामिंग भाषाओं और औपचारिक प्रणालियों के मामले में कई सटीक तकनीकें हैं। चूंकि खेल प्राकृतिक भाषाओं के लिए खेले जाने से दूर है, इसलिए यह कहना मुश्किल है कि भविष्य में प्रोग्रामिंग भाषाओं पर इसका क्या प्रभाव पड़ सकता है।
एक और मुद्दा यह है कि कई प्रोग्रामिंग भाषा डिजाइनर कुछ साबित करने या एक तकनीकी विचारधारा को लागू करने की कोशिश कर रहे हैं। इस प्रकार वे अपने डिजाइन में बेहद निर्धारित करते हैं ताकि उपयोगकर्ताओं को अपने इच्छित प्रतिमानों से प्रस्थान करने से रोका जा सके। यह दुर्भाग्य से रचनात्मकता के लिए बेहद प्रति-उत्पादक है। अब तक की सबसे रचनात्मक भाषा बहुत पहले के बीच थी: लिस्प (1958)। स्वतंत्रता और लचीलेपन की अनुमति काफी रचनात्मकता का स्रोत थी। मूल्य यह था कि इसके लिए आत्म-अनुशासन और समझ की आवश्यकता थी। लेकिन लिस्प वास्तव में एक धातु भाषा थी, भाषाओं के निर्माण के लिए एक भाषा।
अब, एक और परिप्रेक्ष्य लेने के लिए, कार्यक्रम वास्तव में गणितीय विवरण के रूप में देखे गए उनके विनिर्देश के प्रमाण हैं (ठीक है, मैं फिर से सरल कर रहा हूं)। कुछ लोग (मुझे संदर्भ याद नहीं है, खेद है) प्रमेय के साथ खेल रहे हैं सबूतों का उत्पादन करने के लिए साबित होता है कि वे प्राकृतिक भाषा में एक गणितज्ञ द्वारा लिखे गए थे। इसलिए मुझे लगता है कि ऐसे कार्यक्रम होने का विचार है जो यह देखते हैं कि वे प्राकृतिक भाषा में लिखे गए थे, पूरी तरह से बेतुका नहीं हो सकता है।
हालाँकि, आप यह देख सकते हैं कि गणितज्ञ द्वारा अनौपचारिक रूप से लिखे जाने पर भी, गणितीय प्रवचन साधारण बात से, या इतिहास की किताब से काफी अलग दिखता है। यह प्रवचन के संबंधित ब्रह्मांड में एक महत्वपूर्ण अंतर के कारण है, जिस अर्थ डोमेन की बात की जा रही है। इस प्रकार जब आप प्रोग्रामिंग भाषाओं की कल्पना कर सकते हैं जो प्राकृतिक भाषाओं की तरह दिखती हैं, तो एक प्राकृतिक सीमा है जो प्रवचन का डोमेन है और इसके स्वयं के वांछनीय गुण हैं। सबसे अधिक संभावना है कि यह अनिवार्य रूप से सतही रहेगा, जो कि ज्यादातर वाक्यात्मक है। गणितज्ञ औपचारिक प्रणालियों के बारे में और राजनीति के बारे में बात कर सकते हैं। उम्मीद है कि दोनों प्रवचन एक जैसे नहीं दिखेंगे। कंप्यूटर राजनीति की बात (अभी तक) नहीं कर सकते, या इसे समझ नहीं सकते। जिस दिन वे ऐसा करेंगे, अब प्रोग्रामिंग नहीं होगी।
इतिहास में पीछे देखते हुए, उच्च स्तरीय भाषाएं पहले (फोरट्रान) से, कम्प्यूटेशनल कार्यों को व्यक्त करने के लिए एक अधिक प्राकृतिक रूप के करीब जाने का प्रयास किया गया था, लेकिन इन कार्यों को गणितीय या तार्किक (फोरट्रान 1957, अल्गोल 1958, लिस्प 1958) के रूप में समझा गया था। ), या अधिक व्यवसाय उन्मुख (कोबोल 1959)। 10 वर्षों के भीतर लोग ऐसी भाषाओं के बारे में चिंता कर रहे थे जो करीब होगी, हाथ में समस्या के लिए बेहतर रूप से अनुकूलित, और तथाकथित extensible
languages
और वाक्यविन्यास दोनों को कवर करते हुए तथाकथित रूप से महत्वपूर्ण शोध थे । समस्याओं को अधिक स्वाभाविक रूप से व्यक्त करने के लिए एक प्रमुख मार्ग का उद्भव था object
orientation
(कभी-कभी अन्य नामों के तहत)। हालाँकि, पेरेंटहुड को असाइन करना हमेशा मुश्किल होता है, यह संभवतः कृत्रिम बुद्धिमत्ता पर काम से निकला, ज्यादातर लिस्प में, और भाषा सेSimula
67
(अल्गोल परिवार) जो खुद को अधिक स्वाभाविक रूप से वास्तविक दुनिया की समस्याओं को व्यक्त करने के लिए था जो कंप्यूटर पर अनुकरण किया जाना है। यह सब ऐतिहासिक रूप से सुसंगत लगता है।