ภาษาโปรแกรมรุ่นที่สาม ( 3GL ) เป็นภาษาโปรแกรมคอมพิวเตอร์ระดับสูงที่มีแนวโน้มที่จะเป็นอิสระจากเครื่องจักรและเป็นมิตรกับโปรแกรมเมอร์มากกว่ารหัสเครื่องของรุ่นแรกและภาษาแอสเซมบลีของรุ่นที่สองในขณะที่มีจุดเน้นเฉพาะเจาะจงน้อยกว่ารุ่นที่สี่และห้า^{[ 1 ]}ตัวอย่าง ของภาษาโปรแกรมรุ่นที่สามที่ใช้กันทั่วไปและในอดีต ได้แก่ALGOL , BASIC , C , COBOL , Fortran , JavaและPascal

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

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

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

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

โปรแกรมเหล่านี้สามารถทำงานบนเครื่องต่างๆ ได้ (พกพาได้) ดังนั้นจึงเป็นอิสระจากเครื่อง อย่างไรก็ตาม เมื่อมีการพัฒนาภาษาที่เป็นนามธรรมมากขึ้น แนวคิดของ ภาษาโปรแกรม ระดับสูงและระดับต่ำจึงค่อนข้างสัมพันธ์กัน ภาษาโปรแกรม "ระดับสูง" ในยุคแรกๆ หลายภาษาในปัจจุบันถือว่าเป็นภาษาโปรแกรมระดับต่ำเมื่อเทียบกับภาษาต่างๆ เช่นPython , RubyและCommon Lispซึ่งมีคุณสมบัติบางอย่างของภาษาโปรแกรมรุ่นที่สี่และถูกเรียกว่าภาษาโปรแกรมระดับสูงมากในช่วงทศวรรษ 1990 ^{[ 2 ] [ 3 ]}

• รุ่นของภาษาโปรแกรม
• ภาษาการเขียนโปรแกรมเฉพาะโดเมน