Programación funcional
¿Qué es la programación funcional y qué hace que un lenguaje sea funcional?
Estas preguntas no son fáciles ni inequívocas de responder.
Como sugiere el nombre, la programación funcional
implica mucho trabajo con funciones. En particular, debería ser posible
utilizar funciones como valores normales. Por lo tanto, las funciones pueden
ser parámetros de retorno o transferencia en otras funciones. Estas se llaman funciones
de orden superior.
Muchos de los lenguajes funcionales modernos parecen
poner un gran énfasis en un sistema de tipos "poderoso". Ahora bien,
¿un lenguaje es más funcional cuanto mejor es su sistema de tipos? Para ir
directo al grano: no, un lenguaje funcional no tiene que ser "puro",
es decir, sin efectos secundarios, y tampoco tiene que tener un sistema de
tipos, pero ambos pueden ayudar.