Un
lenguaje de programación es un lenguaje artificial que puede ser
usado para controlar el comportamiento de una máquina, especialmente
una computadora. Estos se componen de un conjunto de reglas
sintácticas y semánticas que permiten expresar instrucciones que
luego serán interpretadas.
Debe
distinguirse de “lenguaje informático”, que es una definición
más amplia, puesto estos incluyen otros lenguajes como son el HTML o
PDF que dan formato a un texto y no es programación en sí misma.
El
programador es el encargado de utilizar un lenguaje de programación
para crear un conjunto de instrucciones que, al final, constituirá
un programa o subprograma informático.
En su uso, un
lenguaje de programación puede acercarse a la forma humana de
expresarse y, por eso, este tipo de lenguajes es llamado de alto
nivel. Esto significa que utilizan palabras y formas en sus
estructuras que se asemejan al lenguaje natural (especialmente al
inglés). En cambio, aquellos lenguajes que se aproximan más a la
forma en la cual la computadora se maneja, son llamados lenguajes de
bajo nivel. Esto significa que lo que el programador deba escribir se
acercará al lenguaje máquina, que es, en definitiva, lo que las
computadoras pueden interpretar.
De todas
maneras, un lenguaje de programación difiere en muchos aspectos de
un lenguaje humano. Un código escrito en un lenguaje de programación
específico siempre se interpreta de la misma manera (no como los
idiomas humanos ambiguos), los errores son mucho más significativos
(a tal punto de que un código puede volverse ininterpretable por la
computadora), etc.
El código
fuente es el conjunto de instrucciones que conforman un programa (o
subprograma o módulo). El código fuente debe ser compilado para
poder ser interpretado y ejecutado por la computadora. La compilación
traduce el código fuente (que depende del lenguaje de programación)
a un lenguaje máquina (que depende del sistema de la máquina).
Existen
lenguajes del tipo script que son directamente ejecutados por un
intérprete y no necesitan compilación.
Los lenguajes
de programación pueden clasificarse según el paradigma que usan en:
procedimentales, orientados a objetos, funcionales, lógicos,
híbridos, etc., clasificación que depende de motivos que escapan al
alcance de este artículo.
Son ejemplos de
lenguajes de programación: php, prolog, asp, actionscript, ada,
python, pascal, c, basic, java, etc.
