Historia de paradigmas de programacion
La programación funcional tiene sus raíces en el cálculo lambda, un sistema formal desarrollado en los 1930s . Muchos lenguajes deprogramación funcionales pueden ser vistos como elaboraciones del cálculo lambda. En ciencias de la computación, la programación funcional es un paradigma de programación declarativa basado en lautilización de funciones aritméticas que no maneja datos mutables o de estado.
Paradigma Funcional: Tiene como objeto imitar las funciones matemáticas lo mas posible. Un lenguaje funcionalposee la propiedad matemática de transparencia referencial, lo que significa que una expresión representa siempre el mismo valor. Esto permite razonar sobre la ejecución de un programa ydemostrar matemáticamente que es correcto.
Las variables de un lenguaje funcional son como las variables en algebra. Inicialmente representan un valor desconocido que, una vez calculado, ya nocambia.
Lambda
.
Programación Funcional
Es un subconjunto secuencial con evaluación estricta, asignación única y tipado dinámico.
Creada para laempresa Ericsson.
Es el principal lenguaje de programación de la programación funcional. Se desprende lips y Scheme
Sistema de la programación funcional (Unix)
No es un lenguaje muy rápido perose prioriza el tiempo del programador sobre tiempo de computación.
Lenguaje de tipo polimórficos.
Haskell Brooks Curr.
Miranda Lips HaskellErlang
Ejemplo de programación funcional
Program prueba;
var flag:boolean;
function f (n: integer):integer;
begin
flag:=not flag;
if flag then f:=n;
else f:=2*n;end;
........
--Programa principal
begin
flag:=true;
......
write(f(1)); ß retorna 2
write(f(1)); ß retorna 1
.......
write(f(1) + f(2)); ß retorna 4
write(f(2) + f(1)); ß retorna 5
Regístrate para leer el documento completo.