मैंने प्रश्न को फिर से पढ़ा, और मुझे लगता है कि मेरे मूल उत्तर ने इसे संबोधित नहीं किया। यहाँ एक और कोशिश है।
नहीं, प्रोग्रामिंग भाषा भाषा विज्ञान के बारे में कोई गंभीर शोध नहीं हुआ है जिससे मैं अवगत हूं। दो मुख्य शाखाओं और एक सबब्रांच के लिए भाषा वंशावली का पता लगाया गया है:
इस क्षेत्र में दशकों से हममें से उन लोगों के लिए यह स्पष्ट है कि प्रोग्रामिंग भाषाओं ने हस्तक्षेप किया है, और इस तरह से कोई भी सबसे आधुनिक प्रोग्रामिंग भाषाओं में किसी भी शुद्ध प्रतिमान के अधिकांश पहलुओं को पाता है , जिसे अब मल्टीराडिग्म प्रोग्रामिंग भाषाएं कहा जाता है : सी #, पायथन, जावा, ।। .. पहले से ही OCaml और Haskell जैसी शुद्ध कार्यात्मक भाषाओं में आपको कुछ भी करने के लिए पर्याप्त प्रक्रियात्मक ( मोनैड्स के माध्यम से ) और OO सुविधाएँ शामिल हैं।
जो हुआ है, मुझे लगता है, यह स्पष्ट है कि यह महंगा हो गया था (जब मूर्खतापूर्ण नहीं) प्रोग्रामिंग भाषाओं को स्विच करने के लिए बस एक दिए गए उपप्रोग्राम के लिए एक सही प्रतिमान लागू करने में सक्षम होना चाहिए ।
अत्यधिक समानांतर और अतुल्यकालिक प्रणालियों के क्षेत्र में प्रवृत्ति का अपवाद बना हुआ है। वहां पसंदीदा भाषाएं कड़ाई से कार्यात्मक हैं, एर्लांग की तरह , शायद इसलिए कि ऐसे जटिल प्रणालियों के बारे में कार्यात्मक रूप से सोचना आसान है।
विकासवाद का गैर-विरोधाभासी हिस्सा वाक्य-विन्यास पर रहा है। जिन भाषाओं ने क्रिप्टिक कार्यक्रमों को प्रोत्साहित या अनुमति दी है, वे कम और कम उपयोग किए जाते हैं ( APL , AWK , और यहां तक कि पर्ल और LISP)। आज के वर्चस्व वाले वाक्य रचनाएं सी (सी ++, सी #, जावा, ऑब्जेक्टिव-सी, स्काला, गो, आईएमएल, सीएसएस, जावास्क्रिप्ट और भी पायथन), पास्कल (फोरट्रान 90+) जैसी अधिक पठनीय (आसानी से लिखने योग्य) भाषाओं के विपरीत हैं। x), स्मॉलटॉक (रूबी), ML / मिरांडा (OCaml, Haskell, Erlang), और SGML (HTML, XML)।
यह आरेख पूरी तरह से सही नहीं है, और यह अद्यतित नहीं है, लेकिन यह एक अच्छा विचार देता है कि 1970 की भाषा-प्रति-साइट युग के बाद से प्रोग्रामिंग भाषाओं ने कितना परिवर्तन किया है।