ตามคำนิยามเชิงทฤษฎี ภาษา เข้าใจว่าเป็น ระบบ การสื่อสาร ที่มีโครงสร้างเนื้อหาและการใช้งานบางอย่าง การ เขียนโปรแกรม ในคำศัพท์ของ คอมพิวเตอร์ ขั้นตอนการเขียน ซอร์สโค้ด ของ ซอฟต์แวร์ ด้วยวิธีนี้อาจกล่าวได้ว่าการเขียนโปรแกรมบอกโปรแกรมคอมพิวเตอร์ว่าการกระทำที่ต้องดำเนินการและวิธีการระบุ

ด้วยความคิดที่ชัดเจนเหล่านี้เราสามารถยืนยันได้ว่า ภาษาการเขียนโปรแกรม เป็นโครงสร้างนั้นที่มีพื้นฐานทางไวยากรณ์และความหมายบางอย่างทำให้คำแนะนำที่แตกต่างกันไปยังโปรแกรม คอมพิวเตอร์

เมื่อมาถึงการสร้างที่มาของภาษาการเขียนโปรแกรมเราต้องอ้างถึง Ada Lovelace ผู้ซึ่งถือเป็นโปรแกรมเมอร์คอมพิวเตอร์คนแรกที่รู้จักกันทั่วโลกโดยไม่ต้องสงสัย ดังนั้นน่าสนใจพอภาษาโปรแกรม Ada พูดในเกียรติของเขา และมันคือตัวเลขนี้ดำเนินการไม่เพียง แต่การจัดการชุดสัญลักษณ์สำหรับเครื่องของนักวิทยาศาสตร์ชาวอังกฤษ Charles Babbage แต่ยังรวมถึงความสำเร็จของการจัดตั้งคำแนะนำที่จำเป็นเพื่อให้คอมพิวเตอร์สามารถทำการคำนวณเบื้องต้นได้

ภายในสิ่งที่ภาษาการเขียนโปรแกรมเป็นสิ่งสำคัญมากที่จะเน้นว่ามืออาชีพที่ทุ่มเทให้กับการพัฒนางานนี้ด้วยชุดขององค์ประกอบที่เป็นสิ่งที่ให้รูปแบบและความหมายกับมันซึ่งช่วยให้ผู้ที่ทำงานและบรรลุวัตถุประสงค์ของพวกเขา ในหมู่พวกเขาจะเป็นตัวอย่างตัวแปรเวกเตอร์ลูปข้อ จำกัด ไวยากรณ์หรือความหมายคงที่

ลำดับการเขียนโปรแกรม สำหรับการดำเนินการตามปกติส่วนใหญ่เชื่อมโยงกับชื่อด้วยชื่อที่จดจำง่าย (เช่น เพิ่ม หรือ MUL ) การประกอบคำสั่งเรียกว่า ภาษาแอสเซมบลี

จำเป็นต้องแยกความแตกต่างระหว่างภาษาการเขียนโปรแกรมและ ภาษาคอมพิวเตอร์ มีภาษาคอมพิวเตอร์ที่ไม่ใช่ภาษาการเขียนโปรแกรมจริง ๆ แล้วเป็นกรณีของ HTML ( ภาษามาร์กอัป )

ภาษาการเขียนโปรแกรมมีความสามารถในการระบุได้อย่างแม่นยำซึ่งอุปกรณ์คอมพิวเตอร์ควรทำงานอย่างไรข้อมูลเหล่านี้ควรได้รับการอนุรักษ์หรือถ่ายโอนและคำแนะนำใดที่คอมพิวเตอร์ควรเริ่มในบางสถานการณ์

มีภาษาโปรแกรมหลายภาษาซึ่งนำไปสู่การพัฒนา ล่าม (โปรแกรมที่ปรับคำแนะนำที่พบในภาษาอื่น) และ คอมไพเลอร์ (โปรแกรมเหล่านั้นที่แปลจากภาษาหนึ่งไปเป็นอีกภาษาหนึ่ง)

ตามระดับของ abstraction พวกเขาพูดถึง ภาษาเครื่อง (เป็นสตริงไบนารี่ที่คอมพิวเตอร์สามารถอ่านได้โดยตรง), ภาษา ระดับต่ำ (ภาษาโปรแกรมที่เข้าใกล้การทำงานของคอมพิวเตอร์), ภาษาของระดับครึ่ง (มันใช้ร่วมกับภาษาระดับต่ำ แต่มีขั้นสูงสุด) หรือ ภาษาระดับสูง (เกิดจากองค์ประกอบของภาษามนุษย์)

หลายคนเป็นภาษาที่มีอยู่ในปัจจุบันในตลาดเทคโนโลยีและเทคโนโลยีสารสนเทศ อย่างไรก็ตามในบรรดาสิ่งที่สำคัญที่สุดเราสามารถพูดถึง Pascal, Visual Basic, SQL, Delphi, Lingo, Cobol, HTML หรือ Java ยกตัวอย่างเช่นหลังมีลักษณะเนื่องจากได้รับการพัฒนาในปี 1995 โดยนักวิทยาศาสตร์คอมพิวเตอร์เจมส์กอสลิงและเพราะมันเป็นวัตถุเชิง

ในขณะเดียวกันภาษา HTML ดังกล่าวสามารถพิสูจน์ได้ว่าเป็นหนึ่งในภาษาที่สำคัญที่สุดในวันนี้เพราะเป็นภาษาที่ใช้ในการสร้างหน้าเว็บ