Paradigmas Fundamentales de Programación

Un paradigma de programación es un enfoque, modelo mental o estilo fundamental que guía la forma en que los programadores estructuran, razonan y escriben el código para resolver un problema.

No se trata de qué lenguaje de programación utilizamos, sino de cómo pensamos y organizamos las instrucciones y los datos. La mayoría de los lenguajes modernos son multiparadigma, lo que significa que permiten combinar diferentes enfoques según el caso de uso.

1. La Gran División: Imperativo frente a Declarativo #

1PARADIGMAS DE PROGRAMACIÓN
2                                              │
3                      ┌───────────────────────┴───────────────────────┐
4                      ▼                                               ▼
5         ENFOQUE IMPERATIVO ("CÓMO")                     ENFOQUE DECLARATIVO ("QUÉ")
6       (Instrucciones paso a paso y                     (Describe el resultado deseado
7        mutación de variables de estado)                 sin controlar el bucle manual)
8           ┌──────────┴──────────┐                           ┌──────────┴──────────┐
9           ▼                     ▼                           ▼                     ▼
10     PROCEDIMENTAL         ORIENTADO A OBJETOS           FUNCIONAL             DECLARATIVO / SQL
11       (C, Pascal)           (Java, C++, C#)          (Haskell, Clojure)         (SQL, HTML)

2. Los Cuatro Paradigmas Principales #

Paradigma Imperativo y Procedimental #

• Filosofía: El programa es una secuencia cronológica de órdenes e instrucciones que cambian el estado de las variables en memoria paso a paso ("primero haz esto, luego evalúa aquello, después incrementa el contador").
• Conceptos clave: Bucles (for, while), condicionales (if/else), funciones y procedimientos con variables mutables.
• Lenguajes representativos: C, Pascal, Fortran, Go.

Paradigma Orientado a Objetos (POO) #

• Filosofía: El sistema se modela como un conjunto de objetos autónomos que colaboran entre sí enviándose mensajes. Cada objeto agrupa sus propios datos internos (estado) y las funciones que operan sobre ellos (comportamiento).
• Los Cuatro Pilares de la POO:
  1. Encapsulación: Ocultar el estado interno protegiendo los atributos privados.
  2. Abstracción: Exponer únicamente las operaciones esenciales mediante interfaces públicas.
  3. Herencia: Reutilizar y extender atributos y métodos de una clase base hacia clases hijas.
  4. Polimorfismo: Tratar diferentes objetos derivados bajo una interfaz común respondiendo con comportamientos específicos.
• Lenguajes representativos: Java, C++, C#, Smalltalk, Python.

Paradigma Funcional #

• Filosofía: El programa se concibe como una composición matemática de funciones puras. Se prohíbe la mutación de estado (Inmutabilidad) y los efectos secundarios imprevistos.
• Conceptos clave:
  • Funciones de Primer Orden (First-Class Functions): Las funciones pueden guardarse en variables, pasarse como argumentos o retornarse desde otras funciones.
  • Funciones Puras: Para las mismas entradas, la función siempre produce exactamente la misma salida sin alterar variables globales ni hacer I/O oculta.
  • Transformación Declarativa: Uso intensivo de map, filter, reduce y recursividad en lugar de bucles for con variables mutables.
• Lenguajes representativos: Haskell, Lisp, Elixir, Erlang, F#, JavaScript/TypeScript funcional.

Paradigma Declarativo y Basado en Reglas #

• Filosofía: Se especifica qué datos o resultado se desea obtener, delegando en el motor del sistema la optimización y la ejecución del algoritmo de búsqueda interno ("Qué queremos, no cómo buscarlo").
• Ejemplos clásicos:
  • SQL: SELECT nombre, salario FROM empleados WHERE departamento = 'IT' AND salario > 3000;
  • HTML / CSS: Describe la estructura y diseño visual de la interfaz.
  • Prolog / Programación Lógica: Conjuntos de hechos y reglas lógicas evaluadas por un motor de inferencia.

3. Comparativa Práctica: Filtrar y Duplicar Números Pares #