Programmazione funzionale
Paradigma in cui il calcolo si esprime come composizione di funzioni pure: niente stato mutabile, niente effetti collaterali, i valori fluiscono attraverso trasformazioni.
Idee di fondo: funzioni pure, funzioni di prima classe, immutabilità, ricorsione al posto dei cicli, funzioni di ordine superiore (map, filter, reduce). I linguaggi funzionali a tipizzazione statica (Haskell, OCaml, Elm) sono rigorosi; quelli dinamici (Clojure, Elixir) più pragmatici.
L'influenza è ovunque: lambda in Java, LINQ in C#, Stream in JS, hook di React, Iterator di Rust. Il modello «nucleo funzionale, guscio imperativo» domina l'architettura moderna anche nei linguaggi non funzionali.