Sección
Lenguajes de programación
Lenguajes de programación
Introducción
Si el hardware ha crecido históricamente de manera extraordinaria en su potencia de cómputo, el software lo ha hecho, aunque más moderadamente, en su potencia de comunicación. La complejidad interna del ordenador es creciente y sus entrañas cada vez más desconocidas, pero cada día es más necesario comunicarse con él.
Para facilitar esta interrelación casi cutánea es necesario crear un interfase, una zona de comunicación fácil y comprensible.
El lenguaje de programación realiza perfectamente esta función de mediación entre el hombre y la máquina creando una ilusión de sencillez por medio de lo que se conoce como una máquina virtual.
La máquina virtual creada por el lenguaje de programación es el modelo mental general en el que se mueve el diseñador de programas para construir modelos concretos como representaciones formales de la realidad. A estos modelos concretos se les llama programas. A su vez, un programa ya construido y en funcionameinto crea otro modelo mental para el que lo usa. Estos códigos interpuestos entre hombre y máquina se pueden superponer unos sobre otros, mediante una estructura en niveles.
Mediante programas especiales se puede traducir programas escritos en un lenguaje a otro. Si la traducción de los programas es en bloque se habla de traductores o compiladores y si es frase por frase se habla de intérpretes.
Hw : hardware
LM : Lenguaje Máquina
LE : Lenguaje Ensamblador
SO : SIstema Operativo
LP : Lenguaje de Programación
Los lenguajes de programación existentes en la actualidad se cuentan por miles. Para poder estudiarlos han sido agrupados en paradigmas, lo cual ha permitido establecer una taxonomía.
Un paradigma es un marco conceptual que permite diseñar programas. Los paradigmas más conocidos y utilizados son el paradigma imperativo, el de objetos y el declarativo. En el paradigma imperativo, el elemento central del discurso es la orden, instrucción o sentencia. Los programas son entonces como recetas que explican de manera desglosada lo que hay que hacer para realizar una tarea.
En el de objetos, el protagonismo se desplaza a los datos: los programas son objetos que interactúan lanzándose mensajes. En el paradigma declarativo, que agrupa a los lenguajes funcionales y lógicos, los programas son hechos y deducciones que se hacen a partir de ellos.
Taxonomía de los lenguajes de programación
Factorial de un número de distintos lenguajes
El estudio de los lenguajes de programación es un tema abierto y de enorme interés para la investigación en informática, y ha impulsado a la lingüística en su estudio de los lenguajes en general, estudio que es una pieza clave para entender el pensamiento de nuestra época.