En su discurso de aceptación del Premio Turing en 1977, Backus describió lo que considera como la necesidad de un cambio a una filosofía diferente en el diseño de lenguajes de programación:
"Pareciera existir un problema en el diseño de los lenguajes de programación. Cada nuevo lenguaje incorpora, luego de algo de limpieza, todas las características de los lenguajes anteriores más algunas otras. [...] Cada nuevo lenguaje presenta nuevas características de moda... pero el hecho es que pocos lenguajes hacen que la tarea de programar sea más económica, o más segura como para justificar el costo de producirlo y aprender a utilizarlo."
El lenguaje de programación FP fue el primer lenguaje diseñado específicamente para dar soporte al estilo de programación a nivel funcional.
Un programa de nivel funcional no necesita la noción de variable, dado que las variables, que son elemento esencial en las definiciones a nivel de valores, no hacen falta en el nivel funcional.
En el estilo de programación de nivel funcional los programas se escriben como combinación de otros programas con la ayuda de los operaciones de construcción de programas o funcionales.
Bajo este enfoque los programas, con los funcionales como operadores, forman un espacio matemático.
Otra ventaja potencial de este enfoque es la posibilidad de restringirse únicamente a las funciones estrictas y asociarles un mecanismo de evaluación por valor. que es el más sencillo de implementar. Otra ventaja es la existencia de definiciones de nivel funcional que no son simplemente el correspondiente de una definición de nivel de valores. Estas definiciones, a veces un poco crípticas por lo concisas representan un estilo de programación muy poderoso.
Si bien la propuesta de Backus data de los años 70, su adopción por la comunidad de programación funcional ha sido limitada, al gozar de mayor popularidad el cálculo Lambda.
La programación a nivel funcional en el estilo de FP tiene una fuerte relación con la lógica combinatoria de Haskell Curry, con los lenguajes de combinadores, antecesores de Miranda y Haskell, así como con las categorías cartesianas cerradas, teoría que dio origen al lenguaje CAML (Categorical Abstract Machine Languaje), antecesor del lenguaje Ocaml.
programación, nivel, funcional, programación, nivel, funcional, paradigmas, contrastantes, identificados, john, backus, trabajo, sobre, programas, como, objetos, matemáticos, siendo, otro, programación, nivel, valores, discurso, aceptación, premio, turing, 197. La programacion a nivel funcional es uno de los dos paradigmas contrastantes identificados por John Backus en su trabajo sobre los programas como objetos matematicos siendo el otro la programacion a nivel de valores En su discurso de aceptacion del Premio Turing en 1977 Backus describio lo que considera como la necesidad de un cambio a una filosofia diferente en el diseno de lenguajes de programacion Pareciera existir un problema en el diseno de los lenguajes de programacion Cada nuevo lenguaje incorpora luego de algo de limpieza todas las caracteristicas de los lenguajes anteriores mas algunas otras Cada nuevo lenguaje presenta nuevas caracteristicas de moda pero el hecho es que pocos lenguajes hacen que la tarea de programar sea mas economica o mas segura como para justificar el costo de producirlo y aprender a utilizarlo El lenguaje de programacion FP fue el primer lenguaje disenado especificamente para dar soporte al estilo de programacion a nivel funcional Un programa de nivel funcional no necesita la nocion de variable dado que las variables que son elemento esencial en las definiciones a nivel de valores no hacen falta en el nivel funcional En el estilo de programacion de nivel funcional los programas se escriben como combinacion de otros programas con la ayuda de los operaciones de construccion de programas o funcionales Bajo este enfoque los programas con los funcionales como operadores forman un espacio matematico Otra ventaja potencial de este enfoque es la posibilidad de restringirse unicamente a las funciones estrictas y asociarles un mecanismo de evaluacion por valor que es el mas sencillo de implementar Otra ventaja es la existencia de definiciones de nivel funcional que no son simplemente el correspondiente de una definicion de nivel de valores Estas definiciones a veces un poco cripticas por lo concisas representan un estilo de programacion muy poderoso Si bien la propuesta de Backus data de los anos 70 su adopcion por la comunidad de programacion funcional ha sido limitada al gozar de mayor popularidad el calculo Lambda La programacion a nivel funcional en el estilo de FP tiene una fuerte relacion con la logica combinatoria de Haskell Curry con los lenguajes de combinadores antecesores de Miranda y Haskell asi como con las categorias cartesianas cerradas teoria que dio origen al lenguaje CAML Categorical Abstract Machine Languaje antecesor del lenguaje Ocaml Vease tambien EditarProgramacion a nivel de valores Programacion funcional Paradigmas de programacionReferencias Editar Datos Q2496566Obtenido de https es wikipedia org w index php title Programacion a nivel funcional amp oldid 117828337, wikipedia, wiki, leyendo, leer, libro, biblioteca,
