Un lenguaje de programación es un idioma artificial diseñado para expresar computaciones que pueden ser llevadas a cabo por máquinas como las computadoras. Pueden usarse para crear programas que controlen el comportamiento físico y lógico de una máquina, para expresar algoritmos con precisión, o como modo de comunicación humana.

Está formado por un conjunto de símbolos y reglas sintácticas y semánticas que definen su estructura y el significado de sus elementos y expresiones. Al proceso por el cual se escribe, se prueba, se depura, se compila y se mantiene el código fuente de un programa informático se le llama programación.

Un lenguaje de programación permite a uno o más programadores especificar de manera precisa sobre qué datos debe operar una computadora, cómo estos datos deben ser almacenados o transmitidos y qué acciones debe tomar bajo una variada gama de circunstancias.

Los lenguajes de programación se pueden clasificar atendiendo a varios criterios:

1. Según el nivel de abstracción

Lenguajes Maquina

Están escritos en lenguajes directamente inteligibles por la maquina (computadora), ya que sus instrucciones son cadenas binarias (0 y 1).
Lenguajes de bajo nivel

El lenguaje de más bajo nivel por excelencia es el código máquina. A éste le sigue el lenguaje ensamblador.

Lenguajes de medio nivel

Hay lenguajes de programación que son considerados por algunos expertos como lenguajes de medio nivel (como es el caso del lenguaje C). Lenguajes de medio nivel.

Lenguaje de 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.

2. Según el paradigma de programación que poseen cada uno de ellos

Lenguajes compilados

Un programa que se escribe en un lenguaje de alto nivel también tiene que traducirse a un código que pueda utilizar la máquina. Los programas traductores que pueden realizar esta operación se llaman compiladores.

Lenguajes interpretados

En vez de traducir el programa fuente y grabar en forma permanente el código objeto que se produce durante la compilación para utilizarlo en una ejecución futura.

Un lenguaje de programación es un conjunto de símbolos y reglas sintácticas y semánticas que definen su estructura y el significado de sus elementos y expresiones.

Lenguajes imperativos

• BASIC
• C
• C++
• Java
• C#
• Perl
• unerg

Lenguajes Funcionales

Puros:

• Haskell
• Miranda

Híbridos:

• Lisp
• Scheme
• Ocaml
• Standard ML
• ML
• Scala

Lenguajes Lógicos

• Prolog