Programación funcional
En
ciencias de la computación, la programación
funcional es un paradigma de
programación declarativa basado en la utilización de funciones aritméticas que
no maneja datos mutables o de estado. Enfatiza la aplicación de funciones, en
contraste con el estilo de programación imperativa, que enfatiza los cambios de
estado. La programación funcional tiene sus raíces en el cálculo lambda, un
sistema formal desarrollado en los años 1930 para investigar la definición de
función, la aplicación de las funciones y la recursión. Muchos lenguajes de
programación funcionales pueden ser vistos como elaboraciones del cálculo
lambda.
En
la práctica, la diferencia entre una función matemática y la noción de una
"función" utilizada en la programación imperativa es que las
funciones imperativas pueden tener efectos secundarios, al cambiar el valor de
cálculos realizados previamente. Por esta razón carecen de transparencia
referencial, es decir, la misma expresión sintáctica puede resultar en valores
diferentes en diferentes momentos dependiendo del estado del programa siendo
ejecutado. Con código funcional, en contraste, el valor generado por una
función depende exclusivamente de los argumentos alimentados a la función. Al
eliminar los efectos secundarios se puede entender y predecir el comportamiento
de un programa mucho más fácilmente, y esta es una de las principales
motivaciones para utilizar la programación funcional.
Sistemas de tipos en lenguajes lógico-funcionales.
La
programación lógico-funcional es un paradigma de programación declarativa muy
expresivo, fruto de la combinación de la programación funcional y la
programación lógica. Entre sus principales características destacan la
posibilidad de de1nir funciones indeterministas, los patrones de orden superior
y el uso de variables libres que se ligan a valores adecuados durante el
cómputo. Desde el punto de vista de tipos, los sistemas lógico-funcionales han
adoptado de manera directa el sistema de tipos de Damas-Milner, proveniente del
ámbito funcional, debido a su sencillez y a la existencia de tipos principales
y métodos efectivos para la inferencia de tipos. Sin embargo, esta adaptación
directa no maneja adecuadamente algunas de las principales características de
los lenguajes lógico-funcionales como los patrones de orden superior o las
variables libres, dando lugar errores de tipos durante la evaluación. En esta
tesis proponemos tres sistemas de tipos adecuados para la programación
lógico-funcional cuyo objetivo es manejar correctamente estas características
problemáticas desde el punto de vista de los tipos. Los sistemas de tipos
propuestos, que tratan diferentes mecanismos de cómputos lógico funcionales
(reescritura y estrechamiento), dan solución a los mencionados problemas,
proporcionando resultados técnicos de corrección. Además, suponen un mejora
sobre propuestas previas de sistemas de tipos para programación
lógico-funcional, ya que salvan algunas de sus limitaciones. Aparte de los
resultados teóricos, en esta tesis también se han desarrollado implementaciones
de los sistemas de tipos, integrándolos como fase de comprobación de tipos en
ramas del sistema lógico-funcional Toy.
Aplicación
de Rutinas en Pseudocódigo en C++
Probablemente la mejor manera de comenzar a aprender un
lenguaje de programación es escribir un programa.
// my first program in C++
#include <iostream>
using namespace std;
int main ()
{
cout
<< "Hello World!";
return 0;
}
// my first program in C++
Esta es una línea de comentario. Todas las líneas que comienzan con
dos signos de barra (/ /) se consideran comentarios y no tienen ningún efecto
en el comportamiento del programa. El programador puede utilizar para incluir
breves explicaciones u observaciones dentro del propio código fuente.
# Include <iostream>
Las líneas que comienzan con una almohadilla (#) son
directivas para el preprocesador. No
son líneas de código con expresiones regulares, pero las indicaciones de
preprocesador del compilador. En este caso, la directiva # include
<iostream> dice al preprocesador para incluir el archivo iostream
estándar. Este archivo específico (iostream) incluye las declaraciones de la
biblioteca de sistema básico de entrada-salida estándar de C + +
using
namespace std;
Todos los elementos del estándar de C + + biblioteca se
declaran dentro de lo que se llama un espacio de nombres, el espacio de nombres
con el nombre std. Así
que con el fin de acceder a su funcionalidad, declaramos con esta expresión que
vamos a utilizar estas entidades.
int main ()
Esta línea se corresponde con el principio de la
definición de la función principal. La
función principal es el punto por donde todos los programas en C + + comienzan
su ejecución, independientemente de su ubicación dentro del código fuente.
cout << "Hello World!";
Esta línea es una declaración de C + +. Una declaración es una expresión
simple o compuesto que en realidad puede producir algún efecto. De hecho, esta
declaración lleva a cabo la única acción que genera un efecto visible en
nuestro primer programa. ( cout es el nombre de la secuencia de salida
estándar en C + +)
cout se declara en el archivo iostream estándar dentro
del espacio de nombres std, así que por eso teníamos que incluir ese archivo
específico y declarar que íbamos a utilizar este espacio de nombres específico
a principios de nuestro código.
Tenga en cuenta que la declaración termina con un punto y
coma (;). Este
carácter se utiliza para marcar el final de la instrucción y de hecho debe ser
incluida al final de todas las declaraciones de expresión en todos los
programas en C + +
return 0;
La sentencia return hace que la función principal a fin. retorno puede ser seguido por un
código de retorno (en nuestro ejemplo es seguido por el código de retorno con
un valor de cero). Un código de retorno de 0 para la función principal es
interpretado en general como el programa funcionó como se esperaba sin ningún
error durante su ejecución. Esta es la forma más habitual de terminar un
programa de consola C + +.
