Paradigma Funcional

El paradigma Funcional

Historia : 

Los orígenes teóricos del modelo funcional se remontan a los años 30 en los cuales Church propuso un nuevo modelo de estudio de la computabilidad mediante el cálculo lambda. Este modelo permitía 

trabajar con funciones como objetos de primera clase. En esa misma época, Shönfinkel y Curry

construían los fundamentos de la lógica combinatoria que tendrá gran importancia para la 

complementación de los lenguajes funcionales. 

Hacia 1950, John McCarthy diseñó el lenguaje LISP (List Processing) que utilizaba las listas como 

tipo básico y admitía funciones de orden superior. Este lenguaje se ha convertido en uno de los 

lenguajes más populares en el campo de la Inteligencia Artificial. Sin embargo, para que el lenguaje 

fuese práctico, fue necesario incluir características propias de los lenguajes imperativos como la 

asignación destructiva y los efectos laterales que lo alejaron del paradigma funcional. Actualmente ha surgido una nueva corriente defensora de las características funcionales del lenguaje encabezada por el dialecto Scheme, que aunque no es puramente funcional, se acerca a la definición original de 

McCarthy.

A comienzos de los ochenta surgieron una gran cantidad de lenguajes funcionales debido 

a los avances en las técnicas de implementación. Entre éstos, se podrían destacar Hope, LML, Orwell, Erlang, FEL, Alfl, etc. Esta gran cantidad de lenguajes perjudicaba el desarrollo del paradigma funcional. En septiembre de 1987, se celebró la conferencia FPCA en la que se decidió formar un comité internacional que diseñase un nuevo lenguaje puramente funcional de propósito general denominado Haskell. 

 lenguajes representativos:

•  Hope, 
• LML, 
• Orwell,
•  Erlang, 
• FEL, 
• Alfl, etc.

características:

• Recursión
• Funciones como tipos de datos primitivos
• Uso de listas