Clasificacin de lenguajes de programacin

Un lenguaje de programacin es un lenguaje inventado para controlar una mquina, (normalmente, un ordenador).
Hay muchsimos, de toda clase de tipos y caractersticas, inventados para facilitar el abordaje de distintos problemas,
el mantenimiento del software, su reutilizacin, mejorar la productividad, etc.
Los lenguajes de programacin se pueden clasificar segn varios criterios. He encontrado doce en total: Nivel de
abstraccin, propsito, evolucin histrica, manera de ejecutarse, manera de abordar la tarea a realizar, paradigma de
programacin, lugar de ejecucin, concurrencia, interactividad, realizacin visual, determinismo y productividad.
Hay que tener en cuenta tambin, que en la prctica, la mayora de lenguajes no pueden ser puramente clasificados
en una categora, pues surgen incorporando ideas de otros lenguajes y de otras filosofas de programacin, pero no
importa al establecer las clasificaciones, pues el autntico objetivo de las mismas es mostrar los rangos, las
posibilidades y tipos de lenguajes que hay.
1. Nivel de abstraccin.
Segn el nivel de abstraccin, o sea, segn el grado de cercana a la mquina:

Lenguajes de bajo nivel: La programacin se realiza teniendo muy en cuenta las caractersticas del
procesador. Ejemplo: Lenguajesensamblador.

Lenguajes de nivel medio: Permiten un mayor grado de abstraccin pero al mismo tiempo mantienen
algunas cualidades de los lenguajes de bajo nivel. Ejemplo: C puede realizar operaciones lgicas y de
desplazamiento con bits, tratar todos los tipos de datos como lo que son en realidad a bajo nivel (nmeros), etc.

Lenguajes de alto nivel: Ms parecidos al lenguaje humano. Manejan conceptos, tipos de datos, etc., de
una manera cercana al pensamiento humano ignorando (abstrayndose) del funcionamiento de la mquina.
Ejemplos: Java, Ruby.
Hay quien slo considera lenguajes de bajo nivel y de alto nivel, (en ese caso, C es considerado de alto nivel).
2. Propsito.
Segn el propsito, es decir, el tipo de problemas a tratar con ellos:

Lenguajes de propsito general: Aptos para todo tipo de tareas: Ejemplo: C.

Lenguajes de propsito especfico: Hechos para un objetivo muy concreto. Ejemplo: Csound (para crear
ficheros de audio).

Lenguajes de programacin de sistemas: Diseados para realizar sistemas operativos o drivers.

Ejemplo: C.

Lenguajes de script: Para realizar tareas varias de control y auxiliares. Antiguamente eran los llamados
lenguajes de procesamiento por lotes (batch) o JCL (Job Control Languages). Se subdividen en varias clases
(de shell, de GUI, de programacin web, etc.). Ejemplos: bash (shell), mIRC script, JavaScript (programacin
web).
3. Evolucin histrica.
Con el paso del tiempo, se va incrementando el nivel de abstraccin, pero en la prctica, los de una generacin no
terminan de sustituir a los de la anterior:

Lenguajes de primera generacin (1GL): Cdigo mquina.

Lenguajes de segunda generacin (2GL): Lenguajes ensamblador.

Lenguajes de tercera generacin (3GL): La mayora de los lenguajes modernos, diseados para facilitar
la programacin a los humanos. Ejemplos: C, Java.

Lenguajes de cuarta generacin (4GL): Diseados con un propsito concreto, o sea, para abordar un tipo
concreto de problemas. Ejemplos:NATURAL, Mathematica.

Lenguajes de quinta generacin (5GL): La intencin es que el programador establezca el qu problema

ha de ser resuelto y las condiciones a reunir, y la mquina lo resuelve. Se usan en inteligencia artificial.
Ejemplo: Prolog.
4. Manera de ejecutarse.
Segn la manera de ejecutarse:

Lenguajes compilados: Un programa traductor traduce el cdigo del programa (cdigo fuente) en cdigo
mquina (cdigo objeto). Otro programa, el enlazador, unir los ficheros de cdigo objeto del programa principal
con los de las libreras para producir el programa ejecutable. Ejemplo: C.

Lenguajes interpretados: Un programa (intrprete), ejecuta las instrucciones del programa de manera
directa. Ejemplo: Lisp.
Tambin los hay mixtos, como Java, que primero pasan por una fase de compilacin en la que el cdigo fuente se
transforma en bytecode, y este bytecode puede ser ejecutado luego (interpretado) en ordenadores con distintas
arquitecturas (procesadores) que tengan todos instalados la mismamquina virtual Java.
5. Manera de abordar la tarea a realizar.
Segn la manera de abordar la tarea a realizar, pueden ser:

Lenguajes imperativos: Indican cmo hay que hacer la tarea, es decir, expresan los pasos a realizar.
Ejemplo: C.

Lenguajes declarativos: Indican qu hay que hacer. Ejemplos: Lisp, Prolog. Otros ejemplos de lenguajes
declarativos, pero que no son lenguajes de programacin, son HTML (para describir pginas web) oSQL (para
consultar bases de datos).
6. Paradigma de programacin.
El paradigma de programacin es el estilo de programacin empleado. Algunos lenguajes soportan varios
paradigmas, y otros slo uno. Se puede decir que histricamente han ido apareciendo para facilitar la tarea de
programar segn el tipo de problema a abordar, o para facilitar el mantenimiento del software, o por otra cuestin
similar, por lo que todos corresponden a lenguajes de alto nivel (o nivel medio), estando los lenguajes ensambladores
atados a la arquitectura de su procesador correspondiente. Los principales son:

Lenguajes de programacin procedural: Divide el problema en partes ms pequeas, que sern

realizadas por subprogramas (subrutinas, funciones, procedimientos), que se llaman unas a otras para ser
ejecutadas. Ejemplos: C, Pascal.

Lenguajes de programacin orientada a objetos: Crean un sistema de clases y objetos siguiendo el

ejemplo del mundo real, en el que unos objetos realizan acciones y se comunican con otros objetos.
Ejemplos:C++, Java.

Lenguajes de programacin funcional: La tarea se realiza evaluando funciones, (como en Matemticas),

de manera recursiva. Ejemplo: Lisp.

Lenguajes de programacin lgica: La tarea a realizar se expresa empleando lgica formal matemtica.
Expresa qu computar. Ejemplo: Prolog.

Hay muchos paradigmas de programacin: Programacin genrica, programacin reflexiva, programacin orientada a
procesos, etc.
7. Lugar de ejecucin.
En sistemas distribuidos, segn dnde se ejecute:

Lenguajes de servidor: Se ejecutan en el servidor. Ejemplo: PHP es el ms utilizado en servidores web.

Lenguajes de cliente: Se ejecutan en el cliente. Ejemplo: JavaScript en navegadores web.

8. Concurrencia.
Segn admitan o no concurrencia de procesos, esto es, la ejecucin simultnea de varios procesos lanzados por el
programa:

Lenguajes concurrentes. Ejemplo: Ada.

Lenguajes no concurrentes. Ejemplo: C.

9. Interactividad.
Segn la interactividad del programa con el usuario u otros programas:

Lenguajes orientados a sucesos: El flujo del programa es controlado por la interaccin con el usuario o
por mensajes de otros programas/sistema operativo, como editores de texto, interfaces grficos de usuario
(GUI) o kernels. Ejemplo: VisualBasic, lenguajes de programacin declarativos.

Lenguajes no orientados a sucesos: El flujo del programa no depende de sucesos exteriores, sino que se
conoce de antemano, siendo los procesos batch el ejemplo ms claro (actualizaciones de bases de datos, colas
de impresin de documentos, etc.). Ejemplos: Lenguajes de programacin imperativos.
10. Realizacin visual.
Segn la realizacin visual o no del programa:

Lenguajes de programacin visual: El programa se realiza moviendo bloques de construccin de

programas (objetos visuales) en un interfaz adecuado para ello. No confundir con entornos de programacin
visual, como Microsoft Visual Studio y sus lenguajes de programacin textuales (como Visual C#).
Ejemplo: Mindscript.

Lenguajes de programacin textual: El cdigo del programa se realiza escribindolo. Ejemplos: C, Java,
Lisp.
11. Determinismo.
Segn se pueda predecir o no el siguiente estado del programa a partir del estado actual:

Lenguajes deterministas. Ejemplos: Todos los anteriores.

Lenguajes probabilsticos o no deterministas: Sirven para explorar grandes espacios de bsqueda,

(como gramticas), y en la investigacin terica de hipercomputacin. Ejemplo: mutt (generador de texto
aleatorio).
12. Productividad.
Segn se caractericen por tener virtudes tiles o productivas, u oscuras y enrevesadas:

Lenguajes tiles o productivos: Sus virtudes en cuanto a eficiencia, sencillez, claridad, productividad,
etc., motiva que sean utilizados en empresas, administraciones pblicas y/o en la enseanza. Ejemplos:
Cualquier lenguaje de uso habitual (C, Java, C++, Lisp, Python, Ruby, ).

Lenguajes esotricos o exticos: Inventados con la intencin de ser los ms raros, oscuros, difciles,
simples y/o retorcidos de los lenguajes, para diversin y entretenimiento de frikis programadores. A veces
exploran nuevas ideas en programacin. Ejemplo: Brainfuck.

Los lenguajes de programacin son lenguajes creado por el ser humano para poder comunicarse con las
computadoras. Estos son un conjunto de smbolos y palabras que permiten al usuario de una computadora darle
instrucciones y rdenes para que esta las pueda realizar.
Existen diferentes clases o tipos de lenguajes de programacin:
1 El Lenguaje Mquina: es el lenguaje de programacin que entiende directamente la computadora o mquina.
Este lenguaje de programacin utiliza el alfabeto binario, es decir, el 0 y el 1. Con estos dos nicos dgitos,
conocidos como bits, forma las cadenas binarias (combinaciones de ceros y unos) son con las que se escriben
las instrucciones que el microprocesador de la computadora entiende nuestra peticiones. El lenguaje mquina
fue el primer lenguaje de programacin. Dejo de usarse por su gran dificultad y por la facilidad para cometer
errores.
2 Lenguajes de Programacin de Bajo Nivel: Son mucho mas fciles de utilizar que el lenguaje mquina, pero
dependen mucho de la computadora como suceda con el lenguaje mquina. El lenguaje ensamblador fue el
primer lenguaje de programacin de bajo nivel que trato de sustituir el lenguaje mquina por otro mucho ms
parecido al de los seres humanos. El programa fuente es un conjunto de instrucciones escrito en lenguaje
ensamblador, y cuyo objeto es la traduccin a lenguaje mquina del programa fuente. Los lenguajes de este tipo
son agiles, difciles de usar, especficos de cada procesador, si nos llevamos el programa a otro computador
ser preciso reescribir el programa desde el comienzo.
3 Lenguajes de Programacin de Alto Nivel: Este lenguaje es independientes de la mquina, lo podemos usar en
cualquier computador con muy pocas modificaciones o sin ellas, son muy similares al lenguaje humano.
Necesitan un programa interprete o compilador que lo traduzca uno de bajo nivel, como el lenguaje de mquina
para que la computadora pueda entenderlo. Este tipo de lenguaje es ms fciles de aprender porque se usan
palabras o comandos del lenguaje natural, como por ejemplo: palabras en ingls. Este es el caso del BASIC, el
lenguaje de programacin ms conocido.
Existen muchos lenguajes de programacin de alto nivel con sus diferentes versiones. Por esta razn es difcil
su tipificacin, pero una clasificacin muy extendida desde el punto de vista de su forma de trabajar y la filosofa
de su creacin es la siguiente:

Lenguajes de programacin imperativos: entre ellos tenemos el Cobol, Pascal, C y Ada.

Lenguajes de programacin declarativos: el Lisp y el Prolog.

Lenguajes de programacin orientados a objetos: el Smalltalk y el C++.

Lenguajes de programacin orientados al problema: son aquellos lenguajes especficos para gestin.

Lenguajes de programacin naturales: son los nuevos lenguajes que pretender aproximar el diseo y la
construccin de programas al lenguaje de las personas.

Otra clasificacin de los lenguajes de programacin de alto nivel, es teniendo en cuenta el desarrollo de las
computadoras segn sus diferentes generaciones:

Lenguajes de programacin de primera generacin: el lenguaje mquina y el ensamblador.

Lenguajes de programacin de segunda generacin : los primeros lenguajes de programacin de alto

nivel imperativo (FROTRAN, COBOL).

Lenguajes de programacin de tercera generacin: son lenguajes de programacin de alto nivel

imperativo pero mucho ms utilizados y vigentes en la actualidad (ALGOL 8, PL/I, PASCAL, MODULA).

Lenguajes de programacin de cuarta generacin: usados en aplicaciones de gestin y manejo de bases

de dados (NATURAL, SQL).

Lenguajes de programacin de quinta generacin: creados para la inteligencia artificial y para el

procesamiento de lenguajes naturales (LISP, PROLOG).