¿Qué significa lenguaje funcional?
Un lenguaje funcional es un lenguaje de programación construido sobre y en torno a funciones o procedimientos lógicos dentro de su estructura de programación. Se basa en las funciones matemáticas y es similar a ellas en su flujo de programación.
Los lenguajes funcionales derivan su estructura básica del marco matemático del cálculo lambda y la lógica combinatoria. Erlang, LISP, Haskell y Scala son los lenguajes funcionales más conocidos.
Definición de lenguaje funcional
Compuesto principalmente por funciones, el lenguaje funcional hace hincapié en la semántica, más que en la compilación, de un programa. El lenguaje funcional no tiene los efectos secundarios de los estilos imperativos tradicionales de programación, en el sentido de que el lenguaje funcional no cambia el estado de un programa y devolverá los mismos resultados mientras se pasen funciones con los mismos argumentos.
Sin embargo, la falta de efectos secundarios también es un inconveniente del lenguaje funcional, ya que no todos los programas pueden desarrollarse sin estos efectos, especialmente los que requieren el cambio de estados y la creación de procedimientos de entrada/salida (E/S).