Programación imperativa y declarativa: diferencias

La programación imperativa describe cómo obtener un resultado mediante instrucciones, mientras que la declarativa expresa qué resultado queremos y deja los pasos concretos a otra capa. Son dos enfoques que conviven constantemente en el software.

Cuando empezamos a programar, casi todos aprendemos escribiendo secuencias de instrucciones que modifican la memoria del ordenador paso a paso. Es natural, porque se parece al funcionamiento del hardware basado en la arquitectura de von Neumann.

A medida que el software crece, gestionar cada detalle del cómo puede ser propenso a errores. Esto no significa abandonar lo imperativo, sino usar abstracciones declarativas cuando expresan mejor la intención.

Hoy vamos a diseccionar estos dos enfoques con una carga técnica mayor, analizando cómo gestionan el estado, el flujo de control y los efectos secundarios.

Programación imperativa: el control del flujo

La programación Imperativa se centra en describir cómo alcanzar un resultado. El programador dicta paso a paso los cambios de estado necesarios para computar la solución.

Técnicamente, se basa en tres pilares:

Es el paradigma de C (original), C++ (clásico), Java (pre-8) y la base de C#.

Ejemplo imperativo en C#

Supongamos que queremos filtrar una lista de números para obtener solo los pares y luego elevarlos al cuadrado.

List<int> numeros = new List<int> { 1, 2, 3, 4, 5, 6 };
List<int> resultados = new List<int>(); // 1. Estado mutable externo

// 2. Control de flujo explícito (Cómo iterar)
for (int i = 0; i < numeros.Count; i++)
{
    // 3. Control de flujo condicional (Cómo filtrar)
    if (numeros[i] % 2 == 0)
    {
        int cuadrado = numeros[i] * numeros[i];

        // 4. Efecto secundario: Mutación de la lista de resultados
        resultados.Add(cuadrado);
    }
}

// resultados: { 4, 16, 36 }

Programación declarativa: la abstracción lógica

La programación Declarativa se centra en describir qué es lo que queremos obtener, delegando el control de flujo al lenguaje o framework subyacente.

En lugar de especificar el recorrido, componemos expresiones que describen la transformación. Algunos estilos declarativos, como la programación funcional, favorecen además:

Estas propiedades no definen toda programación declarativa. SQL, por ejemplo, es declarativo aunque una consulta pueda terminar modificando datos.

Ejemplo declarativo en C# (LINQ)

Veamos el mismo problema resuelto de forma declarativa usando LINQ (Language Integrated Query).

List<int> numeros = new List<int> { 1, 2, 3, 4, 5, 6 };

// "Dime QUÉ quieres":
// Quieres números DONDE sean pares, SELECCIONANDO su cuadrado.
var resultados = numeros
    .Where(n => n % 2 == 0)   // Filtro (Declarativo)
    .Select(n => n * n)       // Transformación (Proyección)
    .ToList();                // Materialización

Comparativa técnica

¿Por qué el mundo se mueve hacia lo declarativo?

// Imperativo (WinForms / Android clásico)
void OnButtonClick() {
    boton.Text = "Cargando..."; // Mutamos el estado de la UI manualmente
    label.Visible = true;
}

// Declarativo (Concepto tipo React/Blazor)
// Solo definimos cómo se ve la UI basándonos en el estado.
// El framework se encarga de repintar lo que cambie.
<Button Text="@(IsLoading ? "Cargando..." : "Enviar")" />
<Label Visible="@IsLoading" />