Programación Funcional: Conceptos y Ejemplos Prácticos

Curso de Historia de la Programación: Lenguajes y Paradigmas

Contenido del curso

Visión agnóstica de la programación

Paradigmas de programación imperativos

Paradigmas de programación declarativos

Otros paradigmas o modelos de computación

Historia de los lenguajes de programación

Siguientes pasos

Tomar examen

Cursos Empresas Blog Live Conf Eventos Precios

0:0015:09

Programación Funcional: Conceptos y Ejemplos Prácticos

Curso de Historia de la Programación: Lenguajes y Paradigmas

Clase 9 de 21

Clase 9 / 21

Recursos

La programación funcional es un paradigma declarativo que usa funciones como “ciudadanas de primera clase”. Las funciones (en programación) son fragmentos de código reutilizables, que pueden recibir datos y dar salidas a otros datos como resultado, incluyendo otras funciones. Mediante la programación funcional se busca eliminar o reducir los efectos secundarios.

En la programación funcional se pueden crear funciones de orden superior (HOF). Prioriza el uso de recursividad y HOF para resolver problemas.

Origen de la programación funcional

En los años 30, Alonzo Church desarrolló el cálculo Lambda. Alan Turing demostró que este es equivalente a las máquinas de Turing. A finales de los 50, se desarrolló LISP, implementando la notación lambda de Church. Aquí un ejemplo en LISP de cómo se ve un "hola mundo" y una función recursiva (que se llama a sí misma) donde se calcula el factorial de un número n.

(print "Hello, World!")
(defun factorial (n)
    (if (= n 0) 1
        (* n (factorial (- n 1)))))

Funciones

En matemáticas, una función se define como una relación entre dos conjuntos que asigna cada elemento del primero, un elemento del segundo o ninguno. Por ejemplo, una función que toma un valor “X” y genera un valor “Y”.

f(X) = X + 3
f(X) = X^2 + 3

Un ejemplo de funciones en Python es el siguiente. La función suma recibe dos números (a y b) y retorna la suma de los dos números. Aquí podemos ver que el concepto de función en matemáticas y en programación es parecido.

def suma (a, b):
    return a + b
operacion_1 = suma(3, 2)

Las funciones también pueden hacer uso de otras funciones, como en el siguiente ejemplo.

def es_par(x):
    return not es_impar(x)

Es más, las funciones pueden llamarse a sí mismas (recursión)

def fibonacci(n):
    if n<=1:
        return m
    else:
        return fibonacci(n-1)+fibonacci(n-2)

Conceptos de la programación funcional

Al principio mencionamos conceptos como "ciudadanas de primera clase", funciones de orden superior y efectos secundarios. Definamos estos (y más) conceptos.

Funciones como ciudadanas de primera clase

El que las funciones sean ciudadanas de primera clase implica que son reconocidas como un tipo de dato más. Esto hace que se puedan usar en cualquier parte del programa.

Funciones de orden superior

Una función de orden superior puede recibir una o varias funciones como parámetro. Además, puede retornar otra función.

Funciones puras

Una función es pura si cumple con los siguientes requisitos.

Es determinista: para un parámetro, la función siempre va a retornar el mismo resultado siempre y cuando no se cambie dicho parámetro (por ejemplo, una función que retorne un valor aleatorio no es determinista).
Un valor de entrada da un solo valor de salida.
No genera efectos secundarios.
No incluye funciones impuras.

Funciones lambda

Una función lambda es una función anónima, es decir, que no se le asigna un nombre. Normalmente, se usan en una única sección del código. Por lo general realizan operaciones simples.

Un ejemplo de una función lambda que multiplica dos números en Python:

x = lambda a, b: a**b
print(x(3,3))

Efectos secundarios (side effects)

Es común escuchar de efectos secundarios cuando hablamos de programación imperativa. Lo podemos ver cuando manejamos funciones o variables de contexto global o que están delimitadas. Cuando escribimos código sabemos que lo que está dentro de una función, no afecta a otra, si es que usamos la sintaxis correcta. Pero también existen funciones que usan parámetros o que tienen alcance global y pueden tener efectos secundarios.

Los efectos secundarios son cambios observables en partes de un programa como:

El estado de la aplicación.
Valores de datos.
Modificación de archivos.

Lenguajes y ejemplos

Este es un ejemplo en Haskell, donde calculamos el factorial de un número. En ejemplos anteriores habíamos podido ver como se define el tipo de dato, después se asignan los tipos de valores y se empieza a llamar a la función. Podemos ver que el código no es tan amplio como si lo hubiéramos escrito de forma no recursiva con otros lenguajes.

module Main where

import Text.Printf

factorial :: Integer -> Integer
factorial 0 = 1
factorial n = n factorial (n - 1)

line x = printf "%d! = %d\n" x $
factorial x

main = mapM_ line [0..16]

Aquí otro ejemplo con F#, donde vemos que también es recursivo porque la función factorial se llama a sí misma.

let rec factorial n = 
    match n with
    | 0 | 1 -> 1
    | _ -> n * factorial(n-1)

Otros lenguajes funcionales son SCHEME, CLOJURE, RACKET y ERLANG.

Conclusión

La programación funcional nos permite escribir código especificando qué queremos hacer más que cómo se debe hacer. A su vez, nos permite evitar efectos secundarios. Es importante entender conceptos como funciones de orden superior, recursividad o funciones puras para poder hacer un buen uso de la programación funcional.

Contribución creada por: Ciro Villafraz con los aportes de Iris Valentina.

Iris Valentina Barrios

Hace 6 años

Les comparto mis apuntes, espero les sea de mucha mucha ayuda para que #NuncaParenDe Aprender Programación funcional

Es un paradigma que usa funciones como "Ciudadanas de primera clase". Puede crear funciones de orden superior. Prioriza el uso de recursividad y HOF para resolver problemas.

Una función puede recibir y dar salidas a otros datos como resultado, incluyendo a otras funciones. Se busca eliminar o reducir los efectos secundarios.

Origen

En los años 30, Alonzo Church desarrolla el cálculo Lambda. Alan Turing demuestra que este es el equivalente a las maquinas de Turing.

A finales de los 50, se desarrolla LISP, implementando la notación lambda de Church.

Dato curioso

La saga de video juegos Jack and Daxter, fueron desarrollados en GOAL (Game Oriented Assembly Lisp). Está basado en Lisp, fue desarrollado con programación netamente funcional.

(print "Hello, World!")
(defun factorial (n)
(if (= n 0) 1
(* n (factorial (- n 1)))))

Funciones

Relación entre dos conjuntos que asigna cada elemento del primero un elemento del segundo o ninguno.

En matemáticas una función es algo similar:

Programación funcional

Es un paradigma que usa funciones como "Ciudadanas de primera clase". Puede crear funciones de orden superior. Prioriza el uso de recursividad y HOF para resolver problemas.

Una función puede recibir y dar salidas a otros datos como resultado, incluyendo a otras funciones. Se busca eliminar o reducir los efectos secundarios.

Origen

En los años 30, Alonzo Church desarrolla el cálculo Lambda. Alan Turing demuestra que este es el equivalente a las maquinas de Turing.

A finales de los 50, se desarrolla LISP, implementando la notación lambda de Church.

Dato curioso

La saga de video juegos Jack and Daxter, fueron desarrollados en GOAL (Game Oriented Assembly Lisp). Está basado en Lisp, fue desarrollado con programación netamente funcional.

(print "Hello, World!")
(defun factorial (n)
(if (= n 0) 1
(* n (factorial (- n 1)))))

Funciones

Relación entre dos conjuntos que asigna cada elemento del primero un elemento del segundo o ninguno.

En matemáticas una función es algo similar:

Un tipo de dato u objeto que toma un valor "X" y genera un valor "Y"

Puede o no devolver un resultado.

f(X) = X + 3

f(X) = X^2 + 3

Aquí tenemos el ejemplo de una función en python. Toma dos parámetros y nos va a retornar como resultado, la suma de ambos parámetros.

def suma (a, b)
return a + b
def suma (a, b): 
a + b
operacion_1 = suma(3, 2)

Ciudadanas de primera clase

Son reconocidas por el lenguaje, se utilizan como un tipo de dato y en cualquier parte del programa.

Funciones de orden superior

Es una función que puede:

Tomar una o más funciones como parámetro o;
Retornar una función como salida.

Funciones puras

Son determinísticas.
Un valor de entrada da un solo valor de salida.
No genera efectos secundarios.
No incluye funciones impuras.

Funciones lambda

Función anónima.
Comportamiento de uso único.
Contexto específico o corto tiempo.
Simplicidad.

Efectos secundarios

Es común escucharlo cuando hablamos de programación imperativa. Lo podemos ver cuando manejamos funciones o variables de contexto global o que están delimitadas. Ej: En JavaScript es muy importante tener un manejo del SCOPE (alcance de las variables)

Cuando escribimos código sabemos que lo que esta dentro de una función, no afecta a otra, si es que usamos la sintaxis correcta. Pero también existen funciones que utilicen parámetros o que tengan alcance global y puede tener efectos secundarios.

Forma en que alguien o algo se comporta ante un determinado estímulo.

Cambios observables

Estado de la aplicación.
Valores de datos.
Modificación de archivos, etc.

Lenguajes

LISP
SCHEME
CLOJURE
RACKET
ERLANG
HASKELL
F#

Como podemos ver, aquí está la función que se llama a sí misma y solamente modifica los parámetros cuando lo hace, como característica hay muchos paréntesis, pero es simplemente parte de la sintaxis.

(defun factorial (n)
(cond
((= n 0) 1)
((= n 1) 1)
(t (* n (factorial (- n 1 ))))))

Tenemos en Haskell donde calculamos el factorial de un número, en ejemplos anteriores habíamos podido ver como se define el tipo de dato, después se asignan los tipos de valores y se empieza a llamar a la función. Podemos ver que el código no es tan amplio como si lo hubiéramos escrito de forma no recursiva con otros lenguajes.

module Main where

import Text.Printf

factorial :: Integer -> Integer
factorial 0 = 1
factorial n = n factorial (n - 1)

line x = printf "%d! = %d\n" x $
factorial x

main = mapM_ line [0..16]

Aquí también tenemos un ejemplo con F# que es un lenguaje funcional y vemos que también es recursivo porque la función factorial se está llamando a sí misma.

let rec factorial n = 
match n with
| 0 | 1 -> 1
| _ -> n * factorial(n-1)

Javier Ramos

Hace 6 años

Felicitaciones excelente resumen, gracias por compartir

Felipe Bernardo González Barranco

Hace 5 años

:clap: :clap: :clap: :clap: :clap:

Comentarios (84)84 comentarios

Juan Esteban Galvis

Sergio Iván Piñón Peña

Marcos Monteverde

Hace 4 años

Mitzi Mariel Herlanda

Luis angel osorio ochoa

Josue Quevedo Portas

Carlos José González Juan

Héctor Daniel Vega Quiñones

Profesor

Elcy Esmeralda Reyes Sarmiento

Aaron Quiroga

Valente IA

Rodolfo Briseño Rodríguez

Usuario anónimo

User

Leonardo Andres Martinez Guevara

Carlos Eduardo Gomez García

Fabián Vega Alcota

Rodrigo Josue Goitia Quiroga

Juan Carlos Ortiz Romero

Brayan Buitrago

Guillermo Garcia

Jimmy Buriticá Londoño

Omar Gabriel Aguilar Moscoso

Luis Alberto Matias Aviña

Marco Antonio Contreras Flores

Andrés Felipe Rincón

Visión agnóstica de la programación

Historia de Lenguajes y Paradigmas de Programación

Conceptos y Funcionamiento de Máquinas Abstractas

Fundamentos de Lenguajes de Programación y su Estructura

Paradigmas de programación imperativos

Paradigmas de Programación: Definición y Clasificación

Programación Imperativa vs Declarativa: Principales Diferencias

Programación Estructurada: Conceptos y Ejemplos Prácticos

Programación Procedural: Conceptos y Ejemplos Prácticos

Fundamentos de la Programación Orientada a Objetos

Paradigmas de programación declarativos

Programación Funcional: Conceptos y Ejemplos Prácticos

Introducción a la Programación Lógica y sus Aplicaciones

Otros paradigmas o modelos de computación

Programación Dirigida por Eventos: Conceptos y Aplicaciones

Programación Concurrente y Paralelismo: Conceptos y Aplicaciones

Problemas y soluciones de concurrencia en programación

Historia de los lenguajes de programación

Historia de las Primeras Computadoras y Lenguajes de Programación

Historia y Evolución de los Lenguajes de Programación

Historia de los Lenguajes de Programación en los Años 60s

Lenguajes de Programación Destacados de los 70s

Evolución de C++ y Python en la Historia de la Programación

Introducción a Java y JavaScript: Historia y Características Principales

Siguientes pasos

Recapitulación de Historia y Paradigmas de Programación

Conceptos Fundamentales de Lenguajes de Programación

Programación Funcional: Conceptos y Ejemplos Prácticos

Progreso del curso

Visión agnóstica de la programación

Paradigmas de programación imperativos

Paradigmas de programación declarativos

Otros paradigmas o modelos de computación

Historia de los lenguajes de programación

Siguientes pasos

Recursos

Recursos