Diferencias entre programación funcional y programación imperativa
Este tema compara y contrasta la programación funcional y la programación imperativa (orientada a procedimientos) más tradicional.
Diferencias entre la programación funcional yProgramación imperativa
El paradigma de la programación funcional se creó explícitamente para permitir un enfoque puramente funcional de la resolución de problemas. La programación funcional es una forma de programación declarativa. Por el contrario, la mayoría de lenguajes más populares, incluyendo los lenguajes de programación orientada a objetos (OOP) como C#, Visual Basic, C++ y Java, se diseñaron para admitir en primer lugar la programación imperativa (orientada a procedimientos).
El enfoque imperativo permite al desarrollador escribir código que describe detalladamente los pasos que el equipo debe realizar para cumplir el objetivo. Este tipo de programación también se denomina programación algorítmica. Por el contrario, un enfoque funcional implica crear el problema como un conjunto de funciones que se deben ejecutar. Es necesario definir con cuidado la entrada a cada función y qué devuelve cada función. La siguiente tabla describe algunas de las diferencias generales entre estos dos enfoques.
Característica |
Enfoque imperativo |
Enfoque funcional |
|---|---|---|
Enfoque del programador |
Cómo realizar tareas (algoritmos) y cómo realizar el seguimiento de cambios de estado. |
Información deseada y transformaciones necesarias |
Cambios de estado |
Importante |
Inexistente |
Orden de ejecución |
Importante |
Baja importancia |
Control del flujo primario |
Bucles, elementos condicionales y llamadas a funciones (métodos). |
Llamadas a funciones, incluyendo la recursividad. |
Unidad de manipulación primaria |
Instancias de estructuras o clases |
Funciones como recopilaciones de datos y objetos de primera clase |
Aunque la mayoría de lenguajes se diseñaron para admitir un paradigma de programación específico, muchos lenguajes generales son lo suficientemente flexibles para admitir varios paradigmas. Por ejemplo, la mayoría de los lenguajes que contienen punteros a funciones se pueden usar para permitir de forma creíble la programación funcional. Asimismo, se han agregado extensiones de lenguaje explícitas en C# 3.0 y Visual Basic 9.0 para que sean compatibles con la programación funcional, incluyendo expresiones lambda e inferencia de tipos. La tecnología LINQ es una forma de programación funcional y declarativa.
Programación funcional con XSLT
Muchos desarrolladores de XSLT están familiarizados con el enfoque funcional puro. La forma más eficaz de desarrollar una hoja de estilos XSLT es tratar cada plantilla como una transformación de componentes aislada. El orden de ejecución no está realzado. XSLT no admite efectos secundarios (excepto cuando mecanismos de escape para ejecutar código de procedimiento puedan provocar efectos secundarios, cuyo resultado es una impureza funcional). Sin embargo, a pesar de que XSLT es una herramienta eficaz, algunas de sus características no son óptimas. Por ejemplo, cuando se expresan construcciones de programación en XML se obtiene un código relativamente detallado y, por lo tanto, difícil de mantener. Asimismo, la gran dependencia de la repetición para el control de flujo puede provocar que el código sea difícil de leer. Para obtener más información acerca de XSLT, vea Transformaciones XSLT.
No obstante, XSLT ha demostrado el valor de usar un enfoque funcional puro para transformar XML de una forma a otra. La programación funcional pura con LINQ to XML es muy parecida a XSLT. Sin embargo, las construcciones de programación introducidas por LINQ to XML, C# 3.0 y Visual Basic 9.0 permiten escribir transformaciones funcionales puras que son más fáciles de leer y mantener que XSLT.
Ventajas de las funciones puras
El motivo principal para implementar transformaciones funcionales como funciones puras es que las funciones puras son ajustables: es decir, independientes y sin estado. Estas características aportan varias ventajas, incluyendo las siguientes:
Mayor legibilidad y facilidad de mantenimiento. Esto se debe a que cada función está diseñada para cumplir una tarea específica dependiendo de sus argumentos. Esta función no depende de ningún estado externo.
Desarrollo reiterativo más sencillo. Como es más sencillo refactorizar el código, la implementación de los cambios de diseño resulta a menudo más fácil. Por ejemplo, supongamos que escribe una transformación complicada y después se da cuenta de que parte del código se repite varias veces en la transformación. Si refactoriza mediante un método puro, puede llamar a su método puro cuando lo desee sin preocuparse de efectos secundarios.
Pruebas y depuraciones más sencillas. Como las funciones puras se pueden probar más fácilmente en aislamiento, puede escribir código de prueba que llame a la función pura con valores típicos, casos avanzados válidos y casos avanzados no válidos.
Transición para desarrolladores de OOP
En la programación orientada a objetos (OOP) tradicional, la mayoría de desarrolladores están acostumbrados a programar en estilo imperativo/de procedimientos. Para pasar al desarrollo en un estilo funcional puro, tienen que realizar una transición en su forma de pensar y en su planteamiento del desarrollo.
Para solucionar problemas, los desarrolladores de OOP diseñan jerarquías de clases, se centran en la correcta encapsulación y piensan en términos de contratos de clase. El comportamiento y el estado de los tipos de objetos son de vital importancia y las características del lenguaje, como las clases, las interfaces, la herencia y el polimorfismo se proporcionan para tratar estas preocupaciones.
Por el contrario, la programación funcional considera los problemas de cálculo como un ejercicio de evaluación de transformaciones funcionales puras de recopilaciones de datos. La programación funcional evita datos mutables y de estado, y pone de relieve, en su lugar, la aplicación de las funciones.
Afortunadamente, C# y Visual Basic no requieren un salto completo a la programación funcional ya que admiten planteamientos de programación imperativos y funcionales. Un desarrollador puede elegir el enfoque más adecuado para una escenario específico. En realidad, los programas suelen combinar ambos enfoques.
Vea también
Conceptos
Introducción a las transformaciones funcionales puras
Refactorizar en funciones puras