ภาษาโปรแกรมได้รับการจำแนกออกเป็นภาษาโปรแกรมหลายรุ่น [ ^{1 ] ใน}อดีต การจำแนกประเภทนี้ใช้เพื่อบ่งชี้ถึงพลังที่เพิ่มขึ้นของรูปแบบการเขียนโปรแกรม นักเขียนรุ่นหลังได้กำหนดความหมายใหม่บ้าง เนื่องจากความแตกต่างที่เคยถือว่าสำคัญกลับมีความสำคัญน้อยลงในการปฏิบัติในปัจจุบัน

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

ตัวอย่าง: ภาษาแอสเซมบลี

ภาษาการเขียนโปรแกรมรุ่นที่สอง (2GL) เป็นวิธีการแบ่งประเภทภาษาแอสเซมบลีตาม รุ่น ^{[ 2 ] [ 3 ] [ 4 ]}

ตัวอย่าง: C , C++ , Java , Python , PHP , Perl , C# , BASIC , Pascal , Fortran , ALGOL , COBOL

ภาษาโปรแกรมรุ่นที่สาม (3GLs) มีความเป็นอิสระจากเครื่องคอมพิวเตอร์ (พกพาได้) มากกว่า และเป็นมิตรกับโปรแกรมเมอร์มากกว่า ซึ่งรวมถึงคุณสมบัติต่างๆ เช่น การสนับสนุนที่ดีขึ้นสำหรับชนิดข้อมูลแบบรวม และการแสดงแนวคิดในลักษณะที่เอื้อประโยชน์ต่อโปรแกรมเมอร์มากกว่าคอมพิวเตอร์ ภาษาโปรแกรมรุ่นที่สามพัฒนาขึ้นจากภาษาโปรแกรมรุ่นที่สองโดยให้คอมพิวเตอร์ดูแลรายละเอียดที่ไม่จำเป็น ภาษาโปรแกรมรุ่นที่สามมีความเป็นนามธรรมมากกว่าภาษาโปรแกรมรุ่นก่อนๆ ดังนั้นจึงถือได้ว่าเป็นภาษาโปรแกรมระดับสูงกว่าภาษาโปรแกรมรุ่นแรกและรุ่นที่สองตัวอย่างของภาษาโปรแกรมรุ่นที่สาม ในยุคแรกๆ ได้แก่ Fortran , ALGOLและCOBOL ซึ่งเปิดตัวครั้งแรกในช่วงปลายทศวรรษ 1950

ภาษาโปรแกรมอเนกประสงค์ยอดนิยมส่วนใหญ่ในปัจจุบัน เช่นC , C++ , C# , JavaและBASICก็เป็นภาษาโปรแกรมรุ่นที่สามเช่นกัน แม้ว่าแต่ละภาษาเหล่านี้จะสามารถแบ่งย่อยออกเป็นหมวดหมู่อื่นๆ ได้อีกตามคุณลักษณะร่วมสมัยอื่นๆ ภาษาโปรแกรมรุ่นที่สามส่วนใหญ่รองรับการเขียนโปรแกรมเชิงโครงสร้างและหลายภาษารองรับการเขียนโปรแกรมเชิงวัตถุคุณลักษณะเหล่านี้มักถูกนำมาใช้เพื่ออธิบายภาษามากกว่าที่จะใช้เป็นเพียงแค่เกณฑ์ในการระบุว่าเป็นภาษาโปรแกรมรุ่นที่สาม

ตัวอย่าง: ABAP , Unix shell , SQL , PL/SQL , Oracle Reports , R , Halide

ภาษาเจเนอเรชั่นที่สี่มักจะมีความเชี่ยวชาญเฉพาะด้านในโดเมนการเขียนโปรแกรมที่เฉพาะเจาะจงมาก[ 5 ^{] [ 6 ]ภาษาเจ}เนอเรชั่นที่สี่อาจรวมถึงการสนับสนุนการจัดการฐานข้อมูลการสร้างรายงานการเพิ่มประสิทธิภาพทางคณิตศาสตร์การพัฒนา GUIหรือ การ พัฒนา เว็บ

ตัวอย่าง: Prolog , OPS5 , Mercury , CVXGen, ^{[ 7 ] [ 8 ]} Geometry Expert

ภาษาโปรแกรมรุ่นที่ห้า (5GL) คือภาษาโปรแกรม ใดๆ ที่ใช้การแก้ปัญหาโดยใช้ข้อจำกัดที่กำหนดให้กับโปรแกรม แทนที่จะใช้อัลกอริทึมที่เขียนโดยโปรแกรมเมอร์^{[ 9 ]}อาจใช้ เทคนิค ปัญญาประดิษฐ์เพื่อแก้ปัญหาในลักษณะนี้ภาษาโปรแกรม แบบ ใช้ข้อจำกัดและ ตรรกะส่วนใหญ่ และ ภาษาประกาศ อื่นๆ บางภาษา เป็นภาษาโปรแกรมรุ่นที่ห้า

ในขณะที่ภาษาโปรแกรมรุ่นที่สี่ได้รับการออกแบบมาเพื่อสร้างโปรแกรมเฉพาะ ภาษาโปรแกรมรุ่นที่ห้าได้รับการออกแบบมาเพื่อให้คอมพิวเตอร์แก้ปัญหาที่กำหนดโดยไม่ต้องมีโปรแกรมเมอร์ ด้วยวิธีนี้ ผู้ใช้จึงไม่ต้องกังวลว่าปัญหาใดที่ต้องแก้ไขและเงื่อนไขใดที่ต้องเป็นไปตามนั้น โดยไม่ต้องกังวลว่าจะต้องนำรูทีนหรืออัลกอริธึมใดมาใช้ในการแก้ปัญหา ภาษาโปรแกรมรุ่นที่ห้าส่วนใหญ่ใช้ใน การวิจัย ปัญญาประดิษฐ์หรือ AI OPS5และMercuryเป็นตัวอย่างของภาษาโปรแกรมรุ่นที่ห้า^{[ 10 ]}เช่นเดียวกับICADซึ่งสร้างขึ้นบนLisp KL-ONEเป็นตัวอย่างของแนวคิดที่เกี่ยวข้อง ซึ่งเป็นภาษาเฟรม

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

ในตอนแรก ภาษาโปรแกรมทั้งหมดที่อยู่ในระดับสูงกว่าภาษาแอสเซมบลีถูกเรียกว่า "ภาษาโปรแกรมรุ่นที่สาม " แต่ต่อมาได้มีการนำคำว่า " ภาษาโปรแกรม รุ่นที่สี่ " มาใช้เพื่อพยายามแยกแยะภาษาเชิงประกาศ (declarative languages) ที่เกิดขึ้นใหม่ (เช่นPrologและภาษาเฉพาะโดเมน) ซึ่งอ้างว่าทำงานในระดับที่สูงขึ้นและในโดเมนที่ใกล้ชิดกับผู้ใช้มากขึ้น (เช่น ในระดับภาษาธรรมชาติ) มากกว่าภาษาโปรแกรมเชิงคำสั่งระดับสูงดั้งเดิม เช่นPascal , C , ALGOL , Fortran , BASICเป็นต้น

การจำแนกประเภท "รุ่น" ของภาษาโปรแกรมระดับสูง (รุ่นที่สามและรุ่นต่อๆ มา) นั้นไม่เคยมีความแม่นยำอย่างสมบูรณ์ และอาจถูกละทิ้งไปในภายหลัง โดยมีการใช้การจำแนกประเภทที่แม่นยำกว่าอย่างแพร่หลายมากขึ้น เช่นภาษาเชิงวัตถุ ภาษาเชิงประกาศ และภาษาเชิงฟังก์ชันภาษา Cเป็นต้นกำเนิดของC++และต่อมาเป็นJavaและC# ; ภาษา Lisp เป็นต้นกำเนิด ของCLOS ; ภาษา Ada เป็นต้นกำเนิดของ Ada 2012 ; และแม้แต่ภาษา COBOL เป็นต้นกำเนิดของ COBOL 2002ภาษาใหม่ๆ ก็ได้เกิดขึ้นใน "รุ่น" นั้นเช่นกัน

• รายชื่อเครื่องมือช่วยพัฒนาซอฟต์แวร์ด้วย AI
• ลำดับเหตุการณ์ของภาษาโปรแกรม