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