Hiện nay có hàng trăm ngôn ngữ lập trình, tuy nhiên theo đánh giá thì người ta chia nó ra làm bốn thế hệ - từ thế hệ thứ nhất đến thế hệ thứ bốn.
+ Các ngôn ngữ thế hệ thứ nhất: là các chương trình được viết theo mã máy hoặc hợp ngữ. Các ngôn ngữ này phụ thuộc vào máy và có mức độ trừu tượng thấp. Ta chỉ nên dùng các ngôn ngữ này khi các ngôn ngữ cấp cao không thể đáp ứng được hay không hỗ trợ yêu cầu của ứng dụng.
+ Các ngôn ngữ thế hệ thứ hai: được phát triển từ cuối những năm 1950 đến đầu những năm 1960, như FORTRAN, COBOL, ALGOL, BASIC,... Nó
được xem là nền tảng cho mọi ngôn ngữ lập trình hiện đại - thế hệ thứ ba. Các ngôn ngữ thế hệ thứ hai được đặt trưng bởi việc sử dụng rộng rãi thư viện phần mềm khổng lồ và nó cũng đã được chấp nhận rộng rãi.
+ Các ngôn ngữ thế hệ thứ ba: còn được gọi là ngôn ngữ lập trình hiện đại hay có cấu trúc. Nó được đặc trưng bởi khả năng cấu trúc dữ liệu và thủ tục mạnh. Các ngôn ngữ thuộc thế hệ này như: PASCAL, C, ADA, MODULA-2, C++, C-OBJECTIVE,...
+ Các ngôn ngữ thế hệ thứ tư: Trọng tâm của ngôn ngữ thế hệ thứ tư là nâng mức độ trừu tượng của chương trình lên cao. Các ngôn ngữ này cũng giống như mọi ngôn ngữ nhân tạo khác đều chứa một cú pháp phân biệt để biểu diễn điều khiển và cấu trúc dữ liệu, tuy nhiên nó biểu thị các cấu trúc này ở mức độ trừư tượng cao hơn bằng cách xoá bỏ yêu cầu xác định chi tiết thuật toán. Một số ngôn ngữ thuộc thế hệ thứ tư như ngôn ngữ vấn đáp, ngôn ngữ hỗ trợ quyết định, ngôn ngữ làm bản mẫu,...