| Langages à objets |
| C++ - C# - D Delphi - Eiffel - Groovy Java - Lisaac - Python - Ruby Simula - Smalltalk Visual Basic - WLangage |
| Langages impératifs |
| APL - ASP - Assembleur BASIC - C - Cobol - Natural Forth - Fortran - Limbo Logo - Pascal - Perl - PHP |
| Langages fonctionnels |
| Haskell - ML/OCaml Lisp/Common Lisp Scheme - XSLT |
| Langages déclaratifs |
| Clips - Prolog |
| Langages concurrents |
| Ada 95 - Erlang |
| Voir aussi |
| Conception - Codage Tests - Optimisations |
Un langage de haut niveau en informatique est un langage de programmation qui permet au programmeur de s'abstraire de détails inhérents au fonctionnement de la machine, ceux-ci étant pris en compte lors de la compilation. Il permet de manipuler des concepts bien plus élaborés, mais empêche la gestion de certains de ces détails.
Exemples: Java, Ada, PHP, Python...