Professional Documents
Culture Documents
Reporte:
Programacin
funcional
Programacin lgica y funcional.
Ing. Gil Santana Esparza
Introduccin.
Las races de la programacin funcional se buscan en el clculo lambda, obra del
matemtico estadounidense Alonzo Church. Por consiguiente se puede entender
que el objetivo de Church en los aos de 1930 no era disear un lenguaje de
programacin, porque para esas fechas no existan las computadoras, sino ms
bien caracterizar qu deba entenderse por funcin efectivamente computable. Es
aqu donde el formalismo de Church y las mquinas de Turing eran en ese sentido
equivalentes: toda funcin computable expresable en el -clculo poda
expresarse igualmente mediante una mquina de Turing y viceversa.
Nuestras computadoras actuales y todos los lenguajes de programacin
existentes, no tienen ms potencia que esos formalismos en cuanto a los
algoritmos que pueden expresar, por lo que podemos considerar al -clculo como
un verdadero lenguaje de programacin precursor del paradigma de programacin
funcional.
Programacin funcional.
La programacin funcional se caracteriza por el uso de expresiones y
funciones. Un programa es una funcin generalmente definida
como una
Conclusin:
Independientemente de su implantacin en la programacin de cada da, el
paradigma funcional ha hecho al menos tres aportaciones a la historia de los
lenguajes, que han tenido ya un profundo impacto en la evolucin presente de
dicha historia: los sistemas polimrficos de tipos, de orden superior y la evaluacin
perezosa.
Los sistemas polimrficos comenzaron siendo un factor de seguridad de los
lenguajes. El tipo de una expresin, determinado normalmente en tiempo de
compilacin, nos informa y nos da garantas acerca del conjunto de valores que la
expresin va a tomar en tiempo de ejecucin.
El orden superior permite separar de modo eficaz dos aspectos importantes:
necesarias.
La parte especifica que son precisamente las constantes y funciones
particulares de cada problema.
La evaluacin perezosa es, segn Hugues, otra cola de pegar (1990) que
permite ensamblar piezas juntas de un programa funcional que de otro modo
seran disjuntas. Igual que orden superior abstrae aspectos comunes y convierte
los aspectos
Bibliografa:
Ferreira Szpiniak Arial, D. Luna Carlos, H. Medel Ricardo (1992), Manual-Gua de
aprendizaje. Programacin avanzada. Editorial de la fundacin universidad
nacional de Rio Cuarto.
Rodrguez Sala Jess J. (2003) INTRODUCCIN A LA PROGRAMACIN:
TEORA Y PRCTICA, Editorial Club Universitario.
Pea Mar Ricardo, (2008) De Euclides a Java. Historia de los algoritmos y de los
lenguajes de programacin. Editorial AGT.
Landn P.J. (1964), The mechanical evaluation of expressions. Ed. Computer
Journal.
Backus, J. (1978), Can Programming be Liberated from the Von Neumman Style?
A Functional Style and its Algebra of Programs. Comm. ACM (21) 8, pp. 613-641agosto- 1978
Artculo: John Hugues, Why Functional Programming Matters, en Research Topics
in Functional Programming, D. A. Turner (ed.) Addison-Wesley, 1990.