Programación funcional
Paradigma en el que el cálculo se expresa componiendo funciones puras: sin estado mutable, sin efectos secundarios, los valores fluyen a través de transformaciones.
Sus ideas centrales son funciones puras, funciones como valores de primera clase, inmutabilidad, recursión en lugar de bucles y funciones de orden superior como map, filter y reduce. Los lenguajes funcionales de tipado estático (Haskell, OCaml, Elm) trazan la línea con rigor; los dinámicos (Clojure, Elixir) son más pragmáticos.
Su influencia está en todas partes: lambdas en Java, LINQ en C#, Stream en JavaScript, los hooks de React, el Iterator de Rust. El patrón «núcleo funcional, cáscara imperativa» domina la arquitectura moderna incluso en lenguajes que de funcionales no tienen nada.