Classificació dels llenguatges de programació

Segons el nivell jeràrquic

Es llenguatges es poden classificar segons el seu nivell jeràrquic:

Baix nivell
- Primera Generació: Llenguatge de Màquina, és el més bàsic però en realitat l'únic que comprèn l'ordinador, es centra en nombres en codi binari, la resta de llenguatges actuen traduint el codi.
- Segona Generació: Llenguatge assemblador, conté la mateixa estructura i variables que el llenguatge màquina però utilitza noms i variables en lloc de nombres, que un programador pot manipular i definir. El llenguatge es limita al tipus de màquina per la qual es desenvolupa i ha de ser modificat per a altres ordinadors.
Alt nivell (o Tercera Generació), que permeten al programador crear programes més o menys independents del tipus d'ordinador. Són llenguatges més fàcils d'administrar, d'entendre i actualitzar perquè segueixen unes ordres més similars al llenguatge humà.
- Ada
- Awk
- Basic
  - Basica
  - Visual Basic
  - FreeBASIC
- C
- C++
- C#
- Delphi
- Cobol
- Forth
- Fortran
- Gambas
- Java
- Lisp
- Logo
- Pascal
- Perl
- Pike
- PL1
- Prolog
- Python
- Rexx
- RPG II / RPG III ...
- Ruby
- Smalltalk

Quarta Generació: Llenguatges de Quarta Generació, són els més propers a la sintaxi de la llengua humana, i s'acostumen a utilitzar en les creacions de bases de dades o com a llenguatges de programació dels llenguatges o sistemes d'autor.

Hi ha també un altre tipus d'estructuració dels llenguatges de programació segons l'ús d'instruccions.

Llenguatges Imperatius, en els que els conceptes es tradueixen de forma natural dins la màquina, com FORTRAN, ALGOL, C, PASCAL, Ada, ...
Llenguatges Funcionals, en els que es construeixen funcions a partir d'altres ja existents, i permeten resoldre problemes matemàtics i simbòlics, com LISP, ML, Haskell, Mercury...

Llenguatges lògics, centrats en el concepte matemàtic de lògica de primer ordre, en què es defineixen una serie de declaracions a les que assignem valors per obtenir resultats, com Prolog, Mercury.

Llenguatges Orientats a Objectes, orientats a solucionar problemes del món real, defineixen objectes i les respectives classes per simbolitzar situacions donades, aprofitant que les classes son reutilitzables. Un dels primers va ser SIMULA, i més actuals són ADA95, C++, JAVA i Scala.

Llenguatges concurrents, Paral·lels i Distribuïts, nascuts de la necessitat de realitzar operacions diferents al mateix temps (concurrents), una mateixa operació amb diferents processos simultanis (paral·lel) i de l'execució amb processadors separats geogràficament (distribuïts), com amb CONCURRENT PASCAL, MODULA i OCCAM.