Lenguaje de programacin

Un lenguaje de programacin" es un lenguaje diseado para describir el conjunto de acciones consecutivas que un equipo debe ejecutar. Por lo tanto, un lenguaje de programacin es un modo prctico para que los seres humanos puedan dar instrucciones a un equipo. Por otro lado, el trmino "lenguaje natural" define un medio de comunicacin compartido por un grupo de personas (por ejemplo: ingls o francs). Los lenguajes que los equipos usan para comunicarse entre ellos no tienen nada que ver con los lenguajes de programacin; se los conoce como protocolos de comunicacin. Se trata de dos conceptos totalmente diferentes. Un lenguaje de programacin es muy estricto:
A CADA instruccin le corresponde UNA accin de procesador.

El lenguaje utilizado por el procesador se denomina lenguaje mquina. Se trata de datos tal como llegan al procesador, que consisten en una serie de 0 y 1 ( datos binarios). El lenguaje mquina, por lo tanto, no es comprensible para los seres humanos, razn por la cual se han desarrollado lenguajes intermediarios comprensibles para el hombre. El cdigo escrito en este tipo de lenguaje se transforma en cdigo mquina para que el procesador pueda procesarlo. El ensamblador fue el primer lenguaje de programacin utilizado. Es muy similar al lenguaje mquina, pero los desarrolladores pueden comprenderlo. No obstante, este lenguaje se parece tanto al lenguaje mquina que depende estrictamente del tipo de procesador utilizado (cada tipo de procesador puede tener su propio lenguaje mquina). As, un programa desarrollado para un equipo no puede ser portado a otro tipo de equipo. El trmino "portabilidad" describe la capacidad de usar un programa de software en diferentes tipos de equipos. Para poder utilizar un programa de software escrito en un cdigo ensamblador en otro tipo de equipo, a veces ser necesario volver a escribir todo el programa! Por lo tanto, un lenguaje de programacin tiene varias ventajas:

es mucho ms fcil de comprender que un lenguaje mquina: permite mayor portabilidad, es decir que puede adaptarse fcilmente para ejecutarse en diferentes tipos de equipos.

Lenguajes de programacin imperativos y funcionales

Los lenguajes de programacin generalmente se dividen en dos grupos principales en base al procesamiento de sus comandos:

lenguajes imperativos; lenguajes funcionales.

Lenguaje de programacin imperativo

Un lenguaje imperativo programa mediante una serie de comandos, agrupados en bloques y compuestos de rdenes condicionales que permiten al programa retornar a un bloque de comandos si se cumple la condicin. Estos fueron los primeros lenguajes de programacin en uso y an hoy muchos lenguajes modernos usan este principio. No obstante, los lenguajes imperativos estructurados carecen de flexibilidad debido a la secuencialidad de las instrucciones.

Lenguaje de programacin funcional

Un lenguaje de programacin funcional(a menudo llamado lenguaje procedimental) es un lenguaje que crea programas mediante funciones, devuelve un nuevo estado de resultado y recibe como entrada el resultado de otras funciones. Cuando una funcin se invoca a s misma, hablamos de recursividad.

Interpretacin y compilacin
Los lenguajes de programacin pueden, en lneas generales, dividirse en dos categoras:

lenguajes interpretados lenguajes compilados

Lenguaje interpretado
Un lenguaje de programacin es, por definicin, diferente al lenguaje mquina. Por lo tanto, debe traducirse para que el procesador pueda comprenderlo. Un programa escrito en un lenguaje interpretado requiere de un programa auxiliar (el intrprete), que traduce los comandos de los programas segn sea necesario.

Lenguaje compilado
Un programa escrito en un lenguaje "compilado" se traduce a travs de un programa anexo llamado compilador que, a su vez, crea un nuevo archivo independiente que no necesita ningn otro programa para ejecutarse a s mismo. Este archivo se llama ejecutable. Un programa escrito en un lenguaje compilado posee la ventaja de no necesitar un programa anexo para ser ejecutado una vez que ha sido compilado. Adems, como slo es necesaria una traduccin, la ejecucin se vuelve ms rpida. Sin embargo, no es tan flexible como un programa escrito en lenguaje interpretado, ya que cada modificacin del archivo fuente (el archivo comprensible para los seres humanos: el archivo a compilar) requiere de la compilacin del programa para aplicar los cambios. Por otra parte, un programa compilado tiene la ventaja de garantizar la seguridad del cdigo fuente. En efecto, el lenguaje interpretado, al ser directamente un lenguaje legible, hace que cualquier persona pueda conocer los secretos de fabricacin de un

programa y, de ese modo, copiar su cdigo o incluso modificarlo. Por lo tanto, existe el riesgo de que los derechos de autor no sean respetados. Por otro lado, ciertas aplicaciones aseguradas necesitan confidencialidad de cdigo para evitar las copias ilegales (transacciones bancarias, pagos en lnea, comunicaciones seguras...).

Lenguajes intermediarios
Algunos lenguajes pertenecen a ambas categoras (LISP, Java, Python...) dado que el programa escrito en estos lenguajes puede, en ciertos casos, sufrir una fase de compilacin intermediaria, en un archivo escrito en un lenguaje ininteligible (por lo tanto diferente al archivo fuente ) y no ejecutable (requerira un interprete). Los applets Java, pequeos programas que a menudo se cargan en pginas web, son archivos compilados que slo pueden ejecutarse dentro de un navegador web (son archivos con la extensin .class).

Algunos ejemplos de lenguajes ampliamente usados

A continuacin, encontrar una breve lista de los lenguajes de programacin actuales: Lenguaje ADA BASIC C C++ Principal rea de aplicacin Tiempo real Programacin para fines educativos Programacin de sistema Programacin de sistema orientado a objeto Administracin Clculo Programacin orientada a Internet Clculos matemticos Compilado/interpretado Lenguaje compilado Lenguaje interpretado Lenguaje compilado Lenguaje compilado Lenguaje compilado Lenguaje compilado Lenguaje intermediario Lenguaje interpretado Lenguaje interpretado Lenguaje intermediario Lenguaje compilado Lenguaje interpretado Lenguaje interpretado Lenguaje interpretado

Cobol Fortran Java MATLAB Clculos Clculos matemticos matemticos LISP Inteligencia artificial Pascal Educacin PHP Desarrollo de sitios web dinmicos Inteligencia artificial Inteligencia artificial Perl Procesamiento de cadenas de caracteres

Qu es un programa informtico?
Un programa informtico es una serie de comandos ejecutados por el equipo. Sin embargo, el equipo slo es capaz de procesar elementos binarios, es decir, una serie de 0s y 1s. Por lo tanto, necesitamos un lenguaje de programacin para escribir de manera legible, es decir, con comandos que el ser humano pueda comprender (por ser similares a su propio lenguaje) los comandos que el equipo deber ejecutar.

Estos programas se traducen despus a un lenguaje mquina (en binario) a travs de un compilador. El mtodo de escritura de un programa est muy ligado al lenguaje de programacin elegido, ya que existen muchos tipos distintos. Adems, el compilador debe coincidir con el lenguaje elegido: cada lenguaje de programacin tiene su propio compilador (excepto los lenguajes interpretados). En trminos generales, el programa es un simple archivo de texto (escrito usando un procesador o editor de texto), llamado archivo fuente). El archivo fuente contiene lneas de programa llamadas cdigo fuente. Este archivo fuente, debe compilarse una vez completado. La compilacin se realiza en dos pasos:

El compilador transforma el cdigo fuente en cdigo objeto y lo guarda en un archivo objeto, es decir que traduce el archivo fuente a lenguaje mquina (algunos compiladores tambin crean un archivo en ensamblador, un lenguaje similar al lenguaje mquina ya que posee las funciones bsicas, pero puede ser ledo por los seres humanos. Luego, el compilador llama a un editor de vnculos (o ensamblador) que permite insertar los elementos adicionales (funciones y bibliotecas) a los que hace referencia el programa dentro del archivo final, pero que no se almacenan en el archivo fuente. A continuacin, se crea un archivo ejecutable que contiene todos los elementos requeridos por el programa para funcionar de manera independiente (en Microsoft Windows o MS-DOS este archivo tendr la extensin .exe).

Cmo funciona un programa informtico?

El comportamiento de un programa depende del tipo de lenguaje usado para escribirlo... En cualquier caso, casi todos los lenguajes de programacin se basan en el mismo principio: el programa consiste en un conjunto de comandos que el equipo debe ejecutar. El equipo ejecuta los comandos a medida que va leyendo el archivo (de arriba hacia abajo) hasta que alcanza un comando (al que a menudo se hace referencia como un comando ramificado) que ordena al equipo ir a una ubicacin especfica del programa. En cierto modo, se parece a la bsqueda del tesoro, donde el equipo debe seguir las pistas y ejecutar los comandos hasta alcanzar el final del programa y detenerse.

El concepto de variables
Las variables se utilizan en la mayora de los lenguajes, donde un nombre se asocia a un contenido. Por ejemplo, podemos llamar a una variable "maniqu" y asignarle el valor 8.

Tipos de datos
Algunos lenguajes permiten asociar cualquier tipo de dato con una variable (ya sea un nmero completo o un carcter), dicho lenguaje se denomina lenguaje sin tipos. Como puede verse en el captulo representacin de datos, el tipo de datos establece el nmero de bytes en que el dato est codificado, es decir, la cantidad de memoria que este dato ocupa, as como el formato en el que est representado. Por esta razn, los lenguajes evolucionados (C, Java) son lenguajes con tipo, lo que significa que una variable no se asocia solamente con un nombre sino tambin con un tipo de datos que debe especificarse cuando se declara la variable; es decir, cuando el nombre de la variable se escribe por primera vez, debe especificar en el compilador el tipo de datos que esta variable contendr (la manera de declarar la variable depender del lenguaje utilizado).

Sintaxis
Los lenguajes de programacin requieren una sintaxis estricta, por lo tanto, no es posible escribir de la manera que se desea. As, algunos lenguajes distinguen entre minsculas y maysculas, lo que significa que un nombre escrito en minscula no es considerado el equivalente del mismo nombre escrito en mayscula. En este caso, la variable "Maniqu" sera diferente a la variable "maniqu". Los nombres de variables requieren comnmente una longitud mxima (dependiendo del lenguaje) y de un determinado conjunto de caracteres. Generalmente, se utilizan los siguientes caracteres:
abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ 1234567890_

De esta forma, un espacio (" ") se considera un tipo de carcter diferente, llamado un carcter especial. Por lo tanto, no es muy comn que un lenguaje permita el uso de caracteres especiales en nombres de variables.

Palabras reservadas
En la mayora de los lenguajes, existe un puado de palabras que no deben utilizarse como variables de nombres, llamadas palabras reservadas. Se especifican en el captulo correspondiente al lenguaje especfico.

Constantes
Las constantes son datos cuyo valor no puede modificarse. Por lo general, se definen al comienzo del programa. El valor de la constante puede ser de cualquier tipo permitido por el lenguaje de programacin.

Comentarios

Al escribir un programa es til poder agregar lneas de texto a las que el compilador no considera como cdigos. Estas lneas de texto generalmente estn precedidas (o rodeadas) por comandos especiales que ordenan al compilador omitirlas. Los comentarios son tiles para aclarar cmo est escrito el programa, explicando las partes del cdigo. Los comentarios tambin sirven si otra persona est tratando de comprender cmo funciona el programa leyendo el archivo fuente, o incluso, si la persona que escribi el programa est leyendo el archivo de origen nuevamente, varios aos despus de haber escrito el cdigo...

Qu es una instruccin?
La instruccin es el elemento clave del equipo, ya que permite indicar al procesador la accin que debe realizar. Las instrucciones a realizar se indican en el archivo fuente y el equipo pasa de una instruccin a otra siguiendo las instrucciones que se indican de arriba hacia abajo (ya que la lectura de un archivo se realiza en una secuencia de arriba hacia abajo). Una instruccin se compone, generalmente, de dos elementos:

el operador: la accin que el procesador va a realizar el/los operando(s): uno o ms datos en los cuales se realiza la operacin

Operador/operando(s) el/los operando(s):

Tipos de operadores:
Por lo general, hay dos o tres tipos de operadores:

Operadores unitarios: aquellos que admiten un solo operando Operadores binarios: contrariamente a lo que se podra pensar, estos operadores no trabajan en operadores binarios pero admiten dos operandos (binario indica, por lo tanto, la cantidad de operandos utilizados; El signo + indica la presencia de un operador binario) Operadores ternarios: Son operadores que admiten tres operandos (por ejemplo, los operadores condicionales son operadores ternarios)

Los operadores tambin pueden dividirse en varias categoras de acuerdo al tipo de operacin que realizan al ejecutarse:

operadores aritmticos operadores de comparacin operadores lgicos operadores de bits operadores de asignacin operadores condicionales operadores secuenciales ...

Prioridades del operador

Por lo general, cada lenguaje tiene precedencia de operadores, para que el equipo sepa cmo evaluar a los operadores cuando varios de ellos se encuentran presentes en una misma expresin.

API
Una API (Interfaz de Programacin de Aplicaciones ) es un conjunto de funciones que permite al programador acceder a servicios de una aplicacin a travs del uso de un lenguaje de programacin. Una API ofrece al programador un cierto nivel de abstraccin que enmascara la complejidad de acceso a un sistema o aplicacin, proponindole un conjunto de funciones de las cuales slo se conocen los parmetros y los valores devueltos. Asimismo, por analoga con un automvil, el conductor no necesita conocer la mecnica del motor para conducir el automvil. El conductor slo tiene acceso a la interfaz compuesta por el volante, los pedales (acelerador, embrague, freno), los controles (indicadores, luces delanteras, caja de cambios), interruptores (luces de emergencia, luces antiniebla, bocina, etc.). En cierta forma, es similar a la interfaz presentada al usuario. Gracias a las API, un desarrollador no necesita preocuparse de cmo funciona una aplicacin remota ni de la forma en que las funciones fueron implementadas, para poder utilizarla en un programa. Una API puede estar disponible para un lenguaje especfico o para diversos lenguajes de programacin.

Framework
El trmino "Application Framework (Cuadro de aplicaciones) " describe un conjunto estructurado de API, organizado dentro de un entorno ejecutable. Generalmente, el trmino "Application Framework" se abrevia como "Framework".