Los lenguajes de Alto Nivel se caracterizan por el uso de macroinstrucciones, las cuales en el momento de ser ejecutadas por el computador tienen que ser traducidas a lenguaje de máquina, ya sea por medio de un compilador o intérprete. En los primeros lenguajes de alto nivel la limitante era que se orientaban a un área específica y sus instrucciones requerían de una sintaxis predefinida, se clasifican como lenguajes procedimentales. Otra limitante de los lenguajes de alto nivel es que se requieren de ciertos conocimientos de programación para realizar las secuencias de instrucciones lógicas. Para que el común de los usuarios pudiesen solucionar su problemática de procesamiento de datos en una forma más rápida y fácil se crean los lenguajes de muy alto nivel.

Los lenguajes de alto nivel son normalmente fáciles de aprender porque están formados por elementos de lenguajes naturales, como el inglés. En BASIC, el lenguaje de alto nivel más conocido, los comandos como "IF CONTADOR = 10 THEN STOP" pueden utilizarse para pedir a la computadora que pare si CONTADOR es igual a 10. Por desgracia para muchas personas esta forma de trabajar es un poco frustrante, dado que a pesar de que las computadoras parecen comprender un lenguaje natural, lo hacen en realidad de una forma rígida y sistemática.

• Son más fáciles de aprender que los lenguajes ensambladores.
• Se pueden escribir más rápidamente.
• Permiten tener mejor documentación.
• Son más fáciles de mantener.
• Un programador que sepa escribir programas en uno de estos lenguajes no está limitado a utilizar un solo tipo de máquina.

Principales lenguajes de alto nivel

1. Ada
2. ALGOL
3. Basic
4. C++
5. C#
6. Clipper
7. COBOL
8. Fortran
9. Java
10. Lexico
11. Logo
12. Object Pascal
13. Pascal
14. Perl
15. PHP
16. PL/SQL
17. Python
18. Ruby
19. Modula-2
20. Lenguajes funcionales
    1. Haskell
    2. Lisp