Programación declarativa: cuando el qué es más importante que el cómo

Da igual que se trate de la programación de una aplicación, un software de IoT o un juego de ordenador: antes de que los desarrolladores escriban las primeras líneas de código, deben tomar una decisión fundamental: ¿qué lenguaje de programación van a utilizar? Existen diversos lenguajes a su disposición, pero, si se contemplan con perspectiva, todos se basan en dos paradigmas de programación fundamentales: la programación declarativa y la programación imperativa.

El paradigma de programación imperativa (paradigma orientado a instrucciones) es el más antiguo de los dos paradigmas fundamentales. A diferencia de en la programación declarativa, en este caso, el desarrollador determina con precisión en el código fuente los pasos que debe dar el ordenador para alcanzar el resultado. Se prioriza, pues, el “cómo” de la vía de solución. Este enfoque se puede encontrar, por ejemplo, en Java, Pascal o en C. Por el contrario, en la programación declarativa se describe directamente el “qué” de la solución.

Tomemos como ejemplo la construcción de muebles: mientras que la programación imperativa ofrece las instrucciones de montaje, la programación declarativa ofrece una imagen del mueble ya montado como muestra.

En lugar de dejar abierta la ejecución con funciones, en la programación imperativa existen variables que se modifican durante el tiempo de ejecución. Esto hace que el código sea más largo, pero también más fácil de entender que la forma abreviada y abstracta del lenguaje declarativo.

Un punto fuerte de la programación declarativa es su capacidad para describir problemas de forma más corta y precisa que el lenguaje imperativo.

Si se tiene que crear una lista con nombres, con la programación declarativa se puede describir en PHP con solo una línea de código, como vemos aquí abajo, mientras que el procedimiento imperativo necesita cinco líneas.

Programación imperativa:

Programación declarativa:

El estilo de programación declarativa se utiliza hoy en día en una multitud de casos y, en ocasiones, en estilo puro. Sin embargo, el enfoque no es apropiado para todos los usos.

El código declarativo destaca por su alto nivel de abstracción. Esto permite a los desarrolladores representar programas complejos de forma comprimida. Sin embargo, cuanto más extensa sea la ejecución, mayor será el riesgo de que el código se vuelva tan enrevesado que solo sea legible para el desarrollador que lo escribió. Para las empresas que quieren aplicar el mantenimiento y desarrollo de las aplicaciones con independencia de la persona que las desarrolló, esta situación puede suponer un peligro. En estos casos, los desarrolladores externos deberán esforzarse por leer el código declarativo hasta que hayan entendido la estructura y hayan resuelto los problemas.

No obstante, el nivel de abstracción de la programación declarativa también ofrece ventajas. Siempre que la ejecución se encuentre claramente separada del sistema mediante un algoritmo, el mantenimiento se podrá realizar con independencia del desarrollo de la aplicación. Las averías en el funcionamiento diario se reducen al mínimo. Al mismo tiempo, la optimización resulta más fácil, ya que el algoritmo utilizado es suficientemente abierto como para acceder a nuevos métodos. La desventaja del uso del algoritmo es que, dependiendo de determinadas características de los casos concretos de aplicación, una solución típica de este tipo a menudo resulta insuficiente.

Aunque de por sí no puede considerarse una desventaja, el modelo de la programación declarativa sí que presenta un desafío. Pensar en estados de solución es contrario al pensamiento natural del ser humano. Las personas pensamos en procesos que llevan a un objetivo, en lugar de partir de un objetivo e ir hacia atrás. En este sentido, se requiere de los desarrolladores un cambio de perspectiva y una familiarización que puede ralentizar, en un primer momento, las soluciones de los problemas. Sin embargo, una vez que se haya entrenado esta nueva forma de pensar, el enfoque declarativo puede desarrollar sus puntos fuertes.

Además, partir del desarrollo de la descripción del problema tiene la ventaja de que los equipos pueden esquematizar realmente rápido los modelos de soluciones. Por último, la programación concreta de la ejecución puede realizarse en un paso posterior. Para ello, el estilo declarativo de prototyping en el desarrollo ágil de software es muy propicio.

En la práctica, hoy en día se utilizan principalmente formas mixtas de paradigmas y los lenguajes de programación declarativa se complementan con métodos imperativos. Sin embargo, estas fórmulas son más propensas a contener errores y pueden perjudicar la legibilidad del código.