Mapa Conceptual Programación Funcional-eliseo

INSTITUTO TECNOLÓGICO SUPERIOR DE ALVARADO INGENIERÍA EN SISTEMAS COMPUTACIONALES Materia: Programación Lógica-Funcional

Semestre-Grupo: 7YA

Producto Académico: Mapa Conceptual

INSTITUTO TECNOLÓGICO SUPERIOR DE ALVARADO INGENIERÍA EN SISTEMAS COMPUTACIONALES Materia: Programación Lógica-Funcional

Semestre-Grupo: 7YA

Producto Académico: Mapa Conceptual

Tema:

¿Qué es?

Lenguajes

Entre los lenguajes funcionales puros, cabe destacar a Haskell y Miranda. Los lenguajes funcionales híbridos más conocidos son Scala, Lisp, Clojure, Scheme, Ocaml, SAP y Standard ML (estos dos últimos, descendientes del lenguaje ML).

La programación funcional es un  paradigma de programacióndeclarativa 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.

Característica

Funciones de primera clase Funciones puras Recursividad Evaluación estricta frente a la no estricta Tipo de sistemas La programación funcional en lenguajes no funcionales

Uso

Ventajas Utilidad

La programación funcional es más popular en el ámbito académico que en ámbitos industriales. Sin embargo se ha empezado a usar importantes lenguajes de programación funcionales en sistemas comerciales o industriales. Un ejemplo de lenguaje de programación usado en el ámbito industrial es el Erlang,  el cual fue desarrollado para poner en práctica el sistema de tolerancia a fallos en las telecomunicaciones. Importantes empresas como WhatsApp, Facebook, o T-Mobile optaron por Erlang como lenguaje en alguno de sus desarrollos.

El objetivo es conseguir lenguajes expresivos y matemáticamente elegantes, en los que no sea necesario bajar al nivel de la máquina para describir el proceso llevado a cabo por el programa, y evitar el concepto de estado  del cómputo. La secuencia de computaciones llevadas a cabo por el programa se rige única y exclusivamente por la reescritura de definiciones más amplias a otras cada vez más concretas y definidas, usando lo que se denominan "definiciones dirigidas".

Entre las ventajas que suelen citarse de usar un paradigma funcional en la programación de computadoras, están las siguientes:  



 



Ausencia de efectos colaterales. Proceso de depuración menos problemático Pruebas de unidades más confiables Mayor facilidad para la ejecución